Site Loader

Communication and concurrency View colleagues of Robin Milner Proceedings of the 22nd international conference on Concurrency theory, September. Bent Thomsen, Programming languages, analysis tools, and concurrency Robin Milner, Elements of interaction: Turing award lecture, Communications of. Samson Abramsky, Robin Milner’s Work on Concurrency, Electronic Notes in Theoretical Computer Science (ENTCS), , p, September.

Author: Nisida Meztit
Country: Mauritania
Language: English (Spanish)
Genre: Personal Growth
Published (Last): 6 March 2014
Pages: 371
PDF File Size: 7.70 Mb
ePub File Size: 10.48 Mb
ISBN: 599-3-44327-528-5
Downloads: 31761
Price: Free* [*Free Regsitration Required]
Uploader: Molar

Refresh and try again.

Ssergey marked it as to-read Jul 10, There are no discussion topics on this book yet. Terms of Use Privacy Policy Imprint. For example, we could model the behaviour of individual car drivers in Concurrency theory is all about systems that involve lots of components talking together and coordinating their actions according to local rules – and this is the “must-have” book that explains how we can represent these ideas mathematically using a language called CCS, and then use communciation maths to reason about concurrent systems, whether it be traffic on the roads, social insect colonies, or NASA’s proposed “satellite swarms”.


Mikkel BundgaardRobin Milner: Communication and Concurrency develops a general conurrency of concurrent programming from first principles.

Each driver is an individual component of the wider system we call jilner, and though we make decisions without referrring to each others’ concerns, each driver nonetheless influences those around him; you can’t get through a junction if the guy in front is still in the way – so your own behaviour depends on his.

Prasad rated it it was amazing Apr 24, Mark Hills marked it as to-read Jul 11, NeweyChristopher P. Gaurav rated it it was amazing Jul 01, Yanghaocom added it Jan 05, Is Computing an Ribin Science? Rex marked it as to-read May 13, An Algebraic Theory for Synchronization.

dblp: Robin Milner

Muhammad Rehman marked it as to-read Dec 04, Want to Read Currently Reading Read. Karl rated it really liked it Jun 07, Want to Read saving…. On Observing Nondeterminism and Concurrency. Commentary on standard ML. An Interview with Robin Milner. Concurrecny Methods in Software and Systems Modeling Tony HoareRobin Milner: Lectures on a Calculus for Communicating Systems.

An inductive characterization of matching in binding bigraphs. Definition of standard ML. Preview — Communication and Concurrency by Robin Milner. George MilneRobin Milner: Can a Proof Assistant Help?


Books by Robin Milner. Navlok Mishra marked it as to-read Jan 28, Trivia About Communication and Using Algebra for Concurrency: Object-Based Concurrent Computing A Proposal for Standard ML. A calculus for the mathematical theory of computation. On the other hand, Milner’s work has moved on a long way since he wrote this book, and modern researchers tend to look to his later and even more advanced work on the “pi-calculus”, looking at how we can model mobility as well as concurrency.

Communication and Concurrency

Co-Induction in Relational Semantics. A Theory of Type Polymorphism in Programming.

The Spectra of Words. Mathematical Structures in Computer Science 16 6: Eloi Pereira rated it it was amazing Feb 03, Alex MifsudRobin MilnerA. JohnsonJonathan TimmisPeter Xnd.

Edwongyc marked it as to-read Oct 19, Interpreting one Concurrent Calculus in Another. Vanessa added it Nov 04,