scientific article
From MaRDI portal
Publication:4035257
zbMath0776.68082MaRDI QIDQ4035257
Ugo Montanari, Vladimiro Sassone
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finalitybehavioural equivalence for CCS agentsdynamic observational congruencesequivalence for concurrent systemsprocessing bisimulation
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Related Items (3)
Verifying persistent security properties ⋮ A general account of coinduction up-to ⋮ Action Refinement in Process Algebra and Security Issues
This page was built for publication:
