Timed transition systems with independence and marked scott domains: an adjunction

Authors:
Roman Dubtsov
Affiliations:
Institute of Informatics System, SB RAS, Novosibirsk, Russia
Venue:
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Year:
2011

Citing 8
Cited 0

Event structures

Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
A theory of timed automata

Theoretical Computer Science
Models for concurrency

Handbook of logic in computer science (vol. 4)
Models for concurrency: towards a classification

Theoretical Computer Science
Comparing Transition Systems with Independence and Asynchronous Transition Systems

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Timed Transition Systems

Proceedings of the Real-Time: Theory in Practice, REX Workshop
Categories of asynchronous systems

Categories of asynchronous systems
Semantic domains of timed event structures

Programming and Computing Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

The intention of this paper is to introduce a timed extension of transition systems with independence, and to study its categorical interrelations with other timed "true-concurrent" models. In particular, we show the existence of a chain of coreflections leading from a category of the model of timed transition systems with independence to a category of a specially defined model of marked Scott domains. As an intermediate semantics we use a model of timed event structures, able to properly capture the dependencies and conflict among events which arise in the presence of time delays of the events.