scientific article; zbMATH DE number 86276

MaRDI QIDQ4015488zbMATHFDO

Authors Luca Aceto

Publication date 13 January 1993

Mathematics Subject Classification ID

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

Cited in

(5)

• Timing and causality in process algebra
• Non-interleaving bisimulation equivalences on basic parallel processes
• A theory of processes with localities
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
• Team bisimilarity, and its associated modal logic, for BPP nets

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4015488)