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):||24 December 2017|
|PDF File Size:||5.29 Mb|
|ePub File Size:||1.20 Mb|
|Price:||Free* [*Free Regsitration Required]|
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.