Documents Related by Co-Citation

3219 Communication and Concurrency – R Milner - 1990
1290 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
577 Petri Nets: An Introduction – W Reisig - 1985
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
239 Modelling Concurrency with Partial Orders – Vaughan Pratt - 1986
123 A domain equation for bisimulation – S Abramsky - 1991
658 Concurrency and automata on infinite sequences – D Park - 1981
263 An introduction to event structures – G Winskel - 1989
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
363 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
162 A final coalgebra theorem – Peter Aczel, Nax Mendler - 1989
814 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
1330 A Calculus of Communicating Systems – R Milner - 1980
1204 The temporal logic of programs – A Pnueli - 1977
21 Traces, histories, graphs: Instances of a process monoid – A Mazurkiewicz - 1984
231 On the temporal analysis of fairness – D M Gabbay, A Pnueli, S Shelah, J Stavi - 1980
495 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
62 Global/local subtyping and capability inference for a distributed π-calculus – Peter Sewell - 1998
271 A Calculus of Mobile Agents – Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy, Inria Rocquencourt - 1996