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

• scientific article; zbMATH DE number 1638658 (Why is no real title available?)
• 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?)
• scientific article; zbMATH DE number 176133 (Why is no real title available?)
• scientific article; zbMATH DE number 176497 (Why is no real title available?)
• scientific article; zbMATH DE number 176739 (Why is no real title available?)
• A metric for traces
• Combinatorics on traces
• The poset of infinitary traces
• Theory of traces

Cited in

(4)

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

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)