Documents Related by Co-Citation

3200 Communication and Concurrency – R Milner - 1989
1280 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
577 Petri Nets, An Introduction – W Reisig - 1985
3388 Communicating Sequential Processes – C. A. R. Hoare - 1985
236 Modelling Concurrency with Partial Orders – Vaughan Pratt - 1986
120 A domain equation for bisimulation – S Abramsky - 1991
654 Concurrency and automata on infinite sequences – D Park - 1981
262 An introduction to event structures – G Winskel - 1989
995 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
361 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
162 A nal coalgebra theorem – P Aczel, N Mendler - 1989
808 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
1323 A Calculus of Communicating Systems – R Milner
1194 The temporal logic of programs – A Pnueli - 1977
21 Traces, histories, graphs: Instances of a process monoid – A Mazurkiewicz - 1984
230 On the temporal analysis of fairness – D M Gabbay, A Pnueli, S Shelah, J Stavi - 1980
491 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
267 A Calculus of Mobile Agents – Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy, Inria Rocquencourt - 1996