The poset of infinitary traces

DOI10.1016/0304-3975(93)90247-QMaRDI QIDQ689293zbMATH OpenFDO

Authors Paul Gastin, Brigitte Rozoy

Publication date 20 December 1993

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(93)90247-Q

zbMATH Keywords

partially ordered setspartially commutative monoidScott domaindomain and event structuresinfinite traces

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35)

Recommendations

• scientific article; zbMATH DE number 1638658
• Symmetries of the partial order of traces
• scientific article; zbMATH DE number 176497
• Poset properties of complex traces
• Combinatorics on traces

Cites work

• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 3862473 (Why is no real title available?)
• scientific article; zbMATH DE number 3808941 (Why is no real title available?)
• scientific article; zbMATH DE number 3905836 (Why is no real title available?)
• scientific article; zbMATH DE number 3924161 (Why is no real title available?)
• scientific article; zbMATH DE number 3978397 (Why is no real title available?)
• scientific article; zbMATH DE number 3982543 (Why is no real title available?)
• scientific article; zbMATH DE number 176496 (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?)
• scientific article; zbMATH DE number 3497806 (Why is no real title available?)
• scientific article; zbMATH DE number 3995041 (Why is no real title available?)
• scientific article; zbMATH DE number 4119615 (Why is no real title available?)
• A metric for traces
• Adherences of languages
• Combinatorial problems of commutation and rearrangements
• Combinatorics on traces
• Concurrent Machines
• Event structures and trace monoids
• On automata on infinite trees
• Petri nets, event structures and domains. I
• The poset of infinitary traces
• Theory of traces
• Time, clocks, and the ordering of events in a distributed system
• Un modèle asynchrone pour les systèmes distribués. (An asynchronous model of distributed systems)

Cited in

(14)

• The poset of infinitary traces
• Resource traces: A domain for processes sharing exclusive resources.
• Deterministic asynchronous automata for infinite traces
• A domain for concurrent termination a generalization of Mazurkiewicz traces (extended abstract)
• Symmetries of the partial order of traces
• The word problem for \(1\mathcal{LC}\) congruences is NP-hard.
• Pattern matching in trace monoids (extended abstract)
• An extension of Kleene's and Ochmański's theorems to infinite traces
• Greene-Kleitman's theorem for infinite posets
• Event structures and trace monoids
• Poset properties of complex traces
• Asynchronous cellular automata for infinite traces
• The topology of Mazurkiewicz traces.
• On the concatenation of infinite traces

This page was built for publication: The poset of infinitary traces

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