Poset properties of complex traces

DOI10.1007/3-540-55808-X_24MaRDI QIDQ5096837zbMATH OpenFDO

Authors Paul Gastin, A. Petit

Publication date 18 August 2022

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

Full work available at URL https://doi.org/10.1007/3-540-55808-X_24

Mathematics Subject Classification ID

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

Recommendations

• The poset of infinitary traces
• Traces for Hilbert complexes
• Witt vectors and truncation posets
• scientific article; zbMATH DE number 3995740
• scientific article; zbMATH DE number 1868860
• Poincaré duality for posets
• Poset structures in Boij-Söderberg theory
• Posets, tensor products and Schur positivity
• Tchebyshev posets
• Cayley posets

Cites work

• A Kleene theorem for infinite trace languages
• A metric for traces
• Combinatorics on traces
• scientific article; zbMATH DE number 4030996 (Why is no real title available?)
• scientific article; zbMATH DE number 4081629 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• On the concatenation of infinite traces. (Extended abstract)
• On the domain of traces and sequential composition
• Recognizable complex trace languages. (Abstract)
• The poset of infinitary traces
• Theory of traces

Cited in

(4)

• Resource traces: A domain for processes sharing exclusive resources.
• Model checking properties on reduced trace systems
• A domain for concurrent termination a generalization of Mazurkiewicz traces (extended abstract)
• The poset of infinitary traces

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

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