Multitraces, hypertraces and partial order semantics

DOI10.1007/BF03180567MaRDI QIDQ1203122zbMATH OpenFDO

Authors Michael Shields

Publication date 4 February 1993

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

zbMATH Keywords

determinismevent structurespartial order semanticstrace 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)

Recommendations

• On congruences and partial orders
• Order structures for subclasses of generalised traces
• scientific article; zbMATH DE number 3978397
• Modelling concurrency with comtraces and generalized comtraces
• A partial trace semantics for Petri nets

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• Concurrent Machines
• Event fairness and non-interleaving concurrency

Cited in

(6)

• Machine semantics
• scientific article; zbMATH DE number 7204430 (Why is no real title available?)
• A Characterization of Combined Traces Using Labeled Stratified Order Structures
• Unambiguous shared-memory systems
• On congruences and partial orders
• scientific article; zbMATH DE number 3978397 (Why is no real title available?)

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

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