Poset properties of complex traces

DOI10.1007/3-540-55808-X_24zbMath1493.68197MaRDI QIDQ5096837

Paul Gastin, Antoine Petit

Publication date: 18 August 2022

Published in: Mathematical Foundations of Computer Science 1992 (Search for Journal in Brave)

Mathematics Subject Classification ID

Partial orders, general (06A06) Semantics in the theory of computing (68Q55)

Related Items (3)

Model checking properties on reduced trace systems ⋮ A domain for concurrent termination a generalization of Mazurkiewicz traces ⋮ Resource traces: A domain for processes sharing exclusive resources.

Cites Work

• The poset of infinitary traces
• A metric for traces
• Theory of traces
• Combinatorics on traces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Poset properties of complex traces