Abstract
Traces play a major role in several models of concurrency. They arise out of “independence structures” which are sets with a symmetric, irreflexive relation.
In this paper, independence structures are characterized as certain topological spaces. We show that these spaces are a universal construction known as “soberification”, a topological generalization of the ideal completion construction in domain theory. We also show that there is a group action connected to this construction.
Finally, generalizing the constructions in the first part of the paper, we define a new category of “labelled systems of posets”. This category includes labelled event structures as a full reflective subcategory, and has moreover a very straightforward notion of bisimulation which restricts on event structures to strong history-preserving bisimulation.
Preview
Unable to display preview. Download preview PDF.
References
Diekert, & Rozenburg (eds), The Book of Traces, World Scientific (Singapore) 1994
Diekert, On the concatenation of infinite traces, TCS 113 (1993), 35–54
P.T. Johnstone, Stone Spaces, Cambridge University Press 1982
A. Joyal, M. Nielsen & G. Winskel, Bisimulation from open maps, BRICS Report, RS-94-7, Aarhus 1994. To appear in Information and Computation.
Kwiatkowska, Penczek & Peled, A hierarchy of partial order temporal properties, in: LNCS 827
Marta Kwiatkowska, Defining Process Fairness for Non-Interleaving Concurrency, LNCS 472, 1991, and: On Topological characterization of behavioral properties, in: Reed, Roscoe &: Wachter (eds), Topology and Category Theory in Computer Science, Clarendon (Oxford), 1991
G. Winskel & M. Nielsen, Models of Concurrency, BRICS Report RS-94–12, Aarhus 1994. To appear in: Abramsky, Gabbay & Maibaum (eds), Handbook of Logic in Computer Science, Oxford University Press
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van Oosten, J. (1996). Topological aspects of traces. In: Billington, J., Reisig, W. (eds) Application and Theory of Petri Nets 1996. ICATPN 1996. Lecture Notes in Computer Science, vol 1091. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61363-3_26
Download citation
DOI: https://doi.org/10.1007/3-540-61363-3_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61363-3
Online ISBN: 978-3-540-68505-0
eBook Packages: Springer Book Archive