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

Average Reviews:

(More customer reviews)Are you looking to buy Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)? Here is the right place to find the great deals. we can offer discounts of up to 90% on Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing). Check out the link below:

>> Click Here to See Compare Prices and Get the Best Offers

Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing) ReviewThe 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.Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing) OverviewThis collection of original essays reflects the breadth of currentresearch in computer science. Robin Milner, a major figure in the field, has mademany fundamental contributions, particularly in theoretical computer science, thetheory of programming languages, and functional programming languages.Following abrief biography of Milner, the book contains five sections: Semantic Foundations,Programming Logic, Programming Languages, Concurrency, and Mobility. Together thepieces convey a seamless whole, ranging from highly abstract concepts to systems ofgreat utility.Contributors : Samson Abramsky, J. C. M. Baeten, Sergey Berezin, J. A.Bergstra, Gérard Berry, Lars Birkedal, Gérard Boudol, Edmund Clarke, PierreCollette, 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, LawrenceC. Paulson, Benjamin C. Pierce, Gordon Plotkin, M. A. Reniers, Amokrane Saïbi,Augusto Sampaio, Davide Sangiorgi, Scott A. Smolka, Eugene W. Stark, ChristopherStone, Mads Tofte, David N. Turner, Juan Uribe, Franck van Breugel, David Walker,Glynn Winskel.

Want to learn more information about Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)?

>> Click Here to See All Customer Reviews & Ratings Now