Semantic domains of timed event structures

DOI10.1134/S0361768808030018zbMath1188.68180MaRDI QIDQ840017

I. B. Virbitskaite, R. S. Dubtsov

Publication date: 4 September 2009

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

classes of event structuresmarked Scott domains

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• HOPLA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Models for concurrency: Towards a classification
• An event structure semantics for general Petri nets
• Process versus unfolding semantics for Place/Transition Petri nets
• Petri nets and bisimulation
• On the nature of events: another perspective in concurrency
• Concurrency and atomicity
• Petri nets, event structures and domains. I
• Towards an algebra for timed behaviours
• A theory of timed automata
• Temporal proof methodologies for timed transition systems
• Domain theory for concurrency
• A causal semantic for time Petri nets
• Timing and causality in process algebra
• On the expressiveness of higher dimensional automata
• Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction
• Timed Unfoldings for Networks of Timed Automata
• Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences
• Temporal Structures
• Mathematical Foundations of Computer Science 2004
• CONCUR 2004 - Concurrency Theory
• Formal Modeling and Analysis of Timed Systems
• CONCUR 2003 - Concurrency Theory
• Refinement of actions and equivalence notions for concurrent systems

This page was built for publication: Semantic domains of timed event structures