Unifying behavioral equivalences of timed transition systems
From MaRDI portal
Publication:1758671
DOI10.1134/S0361768810030023zbMath1251.68163OpenAlexW2085191369MaRDI QIDQ1758671
I. B. Virbitskaite, Nataliya Gribovskaya
Publication date: 16 November 2012
Published in: Programming and Computer Software (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1134/s0361768810030023
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A complete axiomatization of timed bisimulation for a class of timed regular behaviours
- A calculus of communicating systems
- A theory of timed automata
- Temporal proof methodologies for timed transition systems
- A completeness theorem for open maps
- Testing equivalences for processes
- A causal semantic for time Petri nets
- Bisimulation from open maps
- Timing and causality in process algebra
- Testing equivalence as a bisimulation equivalence
- Observing behaviour categorically
- Open Maps Bisimulations for Higher Dimensional Automata Models
- Timed Unfoldings for Networks of Timed Automata
- Formal Methods for the Design of Real-Time Systems
- Formal Methods for the Design of Real-Time Systems
- Foundations of Software Science and Computational Structures
- Formal Modeling and Analysis of Timed Systems
- Formal Modeling and Analysis of Timed Systems
- Formal Modeling and Analysis of Timed Systems
- Refinement of actions and equivalence notions for concurrent systems
This page was built for publication: Unifying behavioral equivalences of timed transition systems