Multitraces, hypertraces and partial order semantics

DOI10.1007/BF03180567zbMath0758.68045MaRDI QIDQ1203122

Michael Shields

Publication date: 4 February 1993

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

determinism; partial order semantics; event structures; trace languages; non-interleaving semantics; behavioural presentations; hypertrace languages; multitrace languages

Mathematics Subject Classification ID

06A06: Partial orders, general

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

68Q55: Semantics in the theory of computing

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Cites Work

• Event fairness and non-interleaving concurrency
• Concurrent Machines
• Unnamed Item
• Unnamed Item