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

Authors:
R. S. Dubtsov
Affiliations:
A.P. Ershov Institute of Informatics Systems, Siberian Division of the Russian Academy of Sciences, Novosibirsk, Russia
Venue:
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Year:
2006

Citing 16
Cited 1

Event structures

Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Event structures and domains

Theoretical Computer Science
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)
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
Petri nets and bisimulation

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

Acta Informatica
On Relating Some Models for Concurrency

TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
An introduction to event structures

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Timed Transition Systems

Proceedings of the Real-Time: Theory in Practice, REX Workshop
Domain theory for concurrency

Theoretical Computer Science - Logic, semantics and theory of programming
Open Maps and Observational Equivalences for Timed Partial Order Models

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Real-time event structures and scott domains

PaCT'05 Proceedings of the 8th international conference on Parallel Computing Technologies

Semantic domains of timed event structures

Programming and Computing Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Event structures constitute a major branch of models for concurrency. Their advantage is that they explicitly exhibit the interplay between concurrency and nondeterminism. In a seminal work, Winskel has shown that categories of prime and stable event structures can be related to a category of Scott domains by adjunctions. The intention of this note is to show the applicability of the theory-categorical framework to a real-time extension of stable event structures, in order to identify suitable semantical domains for the models. To that end, we first introduce a category TSES of real-time stable event structures, and a category MDom of a particular class of Scott domains, called marked Scott domains, and then define an adjunction between TSES and MDom.