Back to Results
First PageMeta Content
Process calculi / Calculus of communicating systems / Bisimulation / Robin Milner / Alcatel-Lucent / Q0 / Transition system / Communicating sequential processes / Bell Labs / Lucent


Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages
Add to Reading List

Document Date: 2011-01-28 15:15:59


Open Document

File Size: 917,48 KB

Share Result on Facebook
UPDATE