Event structures have come to play an important role in the formal study of the behaviour of distributed systems. The advantage of event structures is that they explicitly exhibit the interplay between concurrency and nondeterminism. In [14], it has been shown that event structures are closely related to Scott domains. The intention of the paper is to extend Winskel's approach to a real-time version of event structures, obtaining a coreflection between categories of the models. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Dubtsov, R. S. (2005). Real-time event structures and scott domains. In Lecture Notes in Computer Science (Vol. 3606, pp. 42–48). Springer Verlag. https://doi.org/10.1007/11535294_4
Mendeley helps you to discover research relevant for your work.