|
2972
|
Communication and Concurrency
– R Milner
- 1989
|
|
1182
|
A Structural Approach to Operational Semantics
– G. D. Plotkin
- 1981
|
|
448
|
Algebraic Laws for Nondeterminism and Concurrency
– M Hennessy, R Milner
- 1985
|
|
1221
|
An axiomatic basis for computer programming
– C. A. R. Hoare
- 1969
|
|
102
|
Structural Operational Semantics
– Luca Aceto, Wan Fokkink, Chris Verhoef
- 1999
|
|
122
|
Towards a Mathematical Operational Semantics
– Daniele Turi, Gordon Plotkin
- 1997
|
|
279
|
Universal coalgebra: a theory of systems
– J. J. M. M. Rutten
- 2000
|
|
725
|
Mobile ambients
– Luca Cardelli, Andrew D. Gordon
- 1998
|
|
10
|
GSOS for Probabilistic Transition Systems
– Falk Bartels
- 2002
|
|
169
|
Bisimulation Can’t Be Traced
– B Bloom, S Istrael, A Meyer
- 1995
|
|
933
|
Bigraphs and Mobile Processes
– Ole Høgh Jensen, Robin Milner
- 2003
|
|
331
|
Process algebra for synchronous communication
– J. A. Bergstra, J. W. Klop
- 1984
|
|
3119
|
Communicating Sequential Processes
– C. A. R. Hoare
- 2004
|
|
599
|
Concurrency and automata on infinite sequences
– D Park
- 1981
|
|
259
|
The Linear Time-Branching Time Spectrum II - The semantics of sequential systems with silent moves
– R.J. van Glabbeek
- 1993
|
|
70
|
Typed Concurrent Objects
– Vasco Vasconcelos
- 1994
|
|
13
|
The problem of weak bisimulation up-to
– D Sangiorgi, R Milner
- 1992
|
|
2
|
Algebraic veri of a distributed summation algorithm
– J F Groote, J G Springintveld
- 1996
|
|
161
|
Isabelle: A Generic Theorem Prover, volume 828
– Lawrence C Paulson
- 1994
|
