Publication:4035257
From MaRDI portal
zbMath0776.68082MaRDI QIDQ4035257
Ugo Montanari, Vladimiro Sassone
Publication date: 18 May 1993
finality; behavioural equivalence for CCS agents; dynamic observational congruences; equivalence for concurrent systems; processing bisimulation
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q55: Semantics in the theory of computing
Related Items
Action Refinement in Process Algebra and Security Issues, A general account of coinduction up-to, Verifying persistent security properties