Semantic domains of timed event structures

Authors:
I. B. Virbitskaite;R. S. Dubtsov
Affiliations:
Ershov Institute of Informatics Systems, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia 630090 and Novosibirsk State University, Novosibirsk, Russia 630090;Ershov Institute of Informatics Systems, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia 630090
Venue:
Programming and Computing Software
Year:
2008

Citing 26
Cited 1

Concurrency and atomicity

Theoretical Computer Science - International Joint Conference on Theory and Practice of Software Development, P
A general way to put time in Petri nets

IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
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
On the nature of events: another perspective in concurrency

MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
Models for concurrency

Handbook of logic in computer science (vol. 4)
Domain theory

Handbook of logic in computer science (vol. 3)
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
Refinement of actions and equivalence notions for concurrent systems

Acta Informatica
A constraint-oriented real-time process calculus

FORTE '92 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V
Layering of Real-Time Distributed Processes

ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Timed Processes of Timed Petri Nets

Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Time Processes for Time Petri-Nets

ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Timed CSP: Theory and Practice

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

Theoretical Computer Science - Logic, semantics and theory of programming
On the expressiveness of higher dimensional automata

Theoretical Computer Science - Expressiveness in concurrency
Extended Timed Automata and Time Petri Nets

ACSD '06 Proceedings of the Sixth International Conference on Application of Concurrency to System Design
Open Maps and Observational Equivalences for Timed Partial Order Models

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Observational Equivalences for Timed Stable Event Structures

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
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
Time supervision of concurrent systems using symbolic unfoldings of time petri nets

FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Timed unfoldings for networks of timed automata

ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis

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

PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the paper, timed extensions of various classes of event structures and marked Scott domains are studied, categories of these models are constructed, and their properties are examined. In addition, based on category-theoretic methods, relationship between the timed structures and marked Scott domains is established.