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

determinismpartial order semanticsevent structurestrace languagesnon-interleaving semanticsbehavioural presentationshypertrace languagesmultitrace languages

Mathematics Subject Classification ID

Partial orders, general (06A06) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

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

This page was built for publication: Multitraces, hypertraces and partial order semantics