Topological aspects of traces

DOI10.1007/3-540-61363-3_26zbMath1418.68156OpenAlexW1565940914MaRDI QIDQ4633178

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

topologypartial orderbisimulationtracesevent structuresindependence relations

Mathematics Subject Classification ID

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

Cites Work

• On the concatenation of infinite traces
• Bisimulation from open maps
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Topological aspects of traces