scientific article

zbMath0777.68063MaRDI QIDQ4035238

Roberto Gorrieri, Cosimo Laneve

Publication date: 18 May 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

CCS\(\text{split}_ n\)-transition systemsbisimualation equivalenceST-transition systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Related Items

A format for semantic equivalence comparison, Bounded concurrency, Locality and interleaving semantics in calculi for mobile processes, The limit of splitn-language equivalence, Bisimulation and action refinement