Topological aspects of traces

DOI10.1007/3-540-61363-3_26zbMATH Open1418.68156OpenAlexW1565940914MaRDI QIDQ4633178FDOQ4633178

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

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

zbMATH Keywords

topologypartial orderevent structuresbisimulationtracesindependence relations

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Bisimulation from open maps
• On the concatenation of infinite traces
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• Trace spaces of directed tori with rectangular holes
• Title not available (Why is that?)
• The topology of Mazurkiewicz traces.

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)