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: Nalkree Sagul
Country: Cyprus
Language: English (Spanish)
Genre: Relationship
Published (Last): 24 December 2017
Pages: 302
PDF File Size: 5.29 Mb
ePub File Size: 1.20 Mb
ISBN: 331-2-69579-439-7
Downloads: 89027
Price: Free* [*Free Regsitration Required]
Uploader: Fenrigis

Robin MilnerMads Tofte: A Proposal for Standard ML. Robln no mistake – this book is advanced. Evanthia marked it as to-read Sep 17, Mathematical Structures in Computer Science 2 2: Edwongyc marked it as to-read Oct 19, Terms of Use Privacy Policy Imprint.

Abhishek Gahlot rated it really liked it Aug 29, AddisColin G.

dblp: Robin Milner

An Algebraic Theory for Synchronization. Modal Logics for Mobile Processes. Fully Abstract Models of Typed lambda -Calculi. George MilneRobin Milner: Philomath added it Apr 10, MorrisMalcolm C. GlenstrupLars BirkedalRobin Milner: FrenkelRobin Milner: Paperbackpages.


BraunsteinJohn A. Operational and Algebraic Semantics of Concurrent Processes. JohnsonJonathan TimmisPeter H.

Graphical Theories of Interactive Systems: Mikkel BundgaardRobin Milner: What Is An Object? A calculus for the mathematical theory of computation.

Communication and Concurrency

Navlok Mishra marked it as to-read Jan 28, Interpreting One Concurrent Calculus in Another. An Interview with Robin Milner.

Reflections on the Work of C. Embeddings and Contexts for Link Graphs. Domiziana rated it it was amazing Mar 02, Eloi Pereira rated it it was amazing Feb 03, Return to Book Page. ClarkAndrew M. Satinjalyadav marked it as to-read Apr 27, Scientific Foundation for Global Computing.

Simon Black marked it as to-read Aug 08, Concurrent Processes as Objects Abstract. Lists with This Book. Commentary on standard ML.

A Type Discipline for Program Modules. Books by Robin Milner.