Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing) [Hardcover]

Gordon Plotkin (Editor), Colin P. Stirling (Editor), Mads Tofte (Editor)

Book Description

Series: Foundations of Computing | Publication Date: May 15, 2000

This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in theoretical computer science, the theory of programming languages, and functional programming languages.Following a brief biography of Milner, the book contains five sections: Semantic Foundations, Programming Logic, Programming Languages, Concurrency, and Mobility. Together the pieces convey a seamless whole, ranging from highly abstract concepts to systems of great utility.Contributors : Samson Abramsky, J. C. M. Baeten, Sergey Berezin, J. A. Bergstra, Gérard Berry, Lars Birkedal, Gérard Boudol, Edmund Clarke, Pierre Collette, Robert L. Constable, Pierre-Louis Curien, Jaco de Bakker, Uffe H. Engberg, William Ferreira, Fabio Gadducci, Mike Gordon, Robert Harper, Matthew Hennessy, Yoram Hirshfeld, C. A. R. Hoare, Gérard Huet, Paul B. Jackson, Alan S. A. Jeffrey, Somesh Jha, He Jifeng, Cliff B. Jones, Cosimo Laneve, Xinxin Liu, Will Marrero, Faron Moller, Ugo Montanari, Pavel Naumov, Mogens Nielsen, Joachim Parrow, Lawrence C. Paulson, Benjamin C. Pierce, Gordon Plotkin, M. A. Reniers, Amokrane Saïbi, Augusto Sampaio, Davide Sangiorgi, Scott A. Smolka, Eugene W. Stark, Christopher Stone, Mads Tofte, David N. Turner, Juan Uribe, Franck van Breugel, David Walker, Glynn Winskel.

Editorial Reviews

About the Author

Gordon Plotkin is a professor in the Laboratory for Computer Science at the School of Informatics, University of Edinburgh.

Colin Stirling is a professor in the Laboratory for Computer Science at the School of Informatics, University of Edinburgh.

Mads Tofte is Vice Chancellor, IT University of Copenhagen.

Product Details

• Hardcover: 736 pages
• Publisher: The MIT Press (May 15, 2000)
• Language: English
• ISBN-10: 0262161885
• ISBN-13: 978-0262161886
• Product Dimensions: 9.3 x 7.4 x 1.6 inches
• Shipping Weight: 3.2 pounds (View shipping rates and policies)
• Average Customer Review: 4.0 out of 5 stars  See all reviews (1 customer review)
• Amazon Best Sellers Rank: #2,883,212 in Books (See Top 100 in Books)

Customer Reviews

Most Helpful Customer Reviews

0 of 2 people found the following review helpful:

4.0 out of 5 stars Good overview, May 4, 2006

By 

Dr. Lee D. Carlson (Baltimore, Maryland USA) - See all my reviews
(VINE VOICE)    (HALL OF FAME REVIEWER)    (REAL NAME)   

Amazon Verified Purchase

This review is from: Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing) (Hardcover)

The work of Robin Milner is widely known by anyone who stays current with developments in theoretical computer science, especially in the field of concurrency theory. This sizable volume contains a collection of articles written both by some of his collaborators and students, and others who have extended his work. The brief biography that begins the volume is especially helpful to those readers that need an introduction to his general work. Robin Milner is remembered by most primarily because of his development, along with J. Parrow and D. Walker, of the `pi-calculus'. There are several articles in this volume that discuss the pi-calculus, with one of particular interest being the one by Benjamin C. Pierce and David N. Turner on a programming language called `Pict' that is based on it (this was the only article in the book studied by this reviewer). Since the pi-calculus has been shown to encapsulate the lambda calculus, and the latter serves as the foundation for sequential/functional programming, it is not surprising to learn that the pi-calculus can serve as a basis for a possibly useful programming language. But the pi-calculus, unlike the lambda calculus, was designed to model the concurrency and interaction of processes, instead of sequential ones as is done in the lambda calculus. The authors of this article therefore propose that Pict is such a language, and they discuss in fair detail in this article. In their view the function calls in the lambda calculus should be replaced, in terms of a computational scheme, by process creation, context switching, and communications on channels. At first glance, Pict is an exciting proposal, but one should remember that it, and the pi-calculus that underlies it, does not go beyond the Turing notion of computability. One should therefore not expect that it would change significantly the impact of such issues as computational complexity in Turing machines. The pi-calculus though is still being developed and has been applied to many different areas, such as computational biology and genomics. It's most prevalent application though has been in business process modeling, and many industries now use software packages for this that are based on the pi-calculus.