Topological aspects of traces

DOI10.1007/3-540-61363-3_26MaRDI QIDQ4633178zbMATH OpenOpenAlexFDO

Authors Jaap van Oosten

Publication date 2 May 2019

Published in Application and Theory of Petri Nets 1996 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61363-3_26

zbMATH Keywords

bisimulationevent structuresindependence relationspartial ordertopologytraces

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Theory of traces
• The topology of Mazurkiewicz traces.
• Infinite concurrent systems. I: The relationship between metric and order convergence
• Step traces
• Event structures and trace monoids

Cites work

• Bisimulation from open maps
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 18653 (Why is no real title available?)
• scientific article; zbMATH DE number 1536568 (Why is no real title available?)
• On the concatenation of infinite traces

Cited in

(3)

• The topology of Mazurkiewicz traces.
• scientific article; zbMATH DE number 1127074 (Why is no real title available?)
• Trace spaces of directed tori with rectangular holes

This page was built for publication: Topological aspects of traces

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