Real-time event structures and scott domains

Authors:
R. S. Dubtsov
Affiliations:
A.P. Ershov Institute of Informatics Systems, Siberian Division of the Russian Academy of Sciences, Novosibirsk, Russia
Venue:
PaCT'05 Proceedings of the 8th international conference on Parallel Computing Technologies
Year:
2005

Citing 11
Cited 1

Towards an algebra for timed behaviours

Theoretical Computer Science
A theory of timed automata

Theoretical Computer Science
Time and duration in noninterleaving concurrency

Fundamenta Informaticae
Models for concurrency

Handbook of logic in computer science (vol. 4)
Handbook of logic in computer science (vol. 3): semantic structures

Handbook of logic in computer science (vol. 3): semantic structures
An event structure semantics for general Petri nets

Theoretical Computer Science - Special volume on Petri nets
Process versus unfolding semantics for place/transition Petri nets

Theoretical Computer Science - Special volume on Petri nets
Timing and causality in process algebra

Acta Informatica
Timed Transition Systems

Proceedings of the Real-Time: Theory in Practice, REX Workshop
Event Structures

Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II
Efficient State Space Search for Time Petri Nets

Efficient State Space Search for Time Petri Nets

Real-time stable event structures and marked scott domains: an adjunction

PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.