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.
|Published (Last):||6 March 2014|
|PDF File Size:||7.70 Mb|
|ePub File Size:||10.48 Mb|
|Price:||Free* [*Free Regsitration Required]|
Refresh and try again.
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,