scientific article; zbMATH DE number 18536

MaRDI QIDQ3975937zbMATH OpenFDO

Authors Jeremy Gunawardena

Publication date 26 June 1992

zbMATH Keywords

CCSparallel processes

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• A partial ordering semantics for CCS
• Determinacy \(\to\) (observation equivalence \(=\) trace equivalence)
• scientific article; zbMATH DE number 938663
• Causal automata
• scientific article; zbMATH DE number 3896316

Cited in

(2)

• Causal automata
• A note on causal trees and their applications to CCS

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 Q3975937)