Locality and non-interleaving semantics in calculi for mobile processes

Materias

• Calculus
• Pi

Ediciones (1)

• Locality and non-interleaving semantics in calculi for mobile processes (1994)

  LFCS, Dept. of Computer Science, University of Edinburgh · inglés

Más obras de Davide Sangiorgi

An introduction to bisimulation and coinduction

AAdvanced topics in bisimulation and coinduction

Advanced topics in bisimulation and coinduction

Trustworthy global computing