Open maps and behavioural equivalences for timed stable event structures

MaRDI QIDQ2885252zbMATH OpenFDO

Authors M. V. Andreeva

Publication date 21 May 2012

Published in Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika (Search for Journal in Brave)

zbMATH Keywords

observational equivalencestable even structuretimed stable event structure

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2104639
• Open maps and trace semantics for timed partial order models
• Open maps and weak trace equivalence for timed event structures
• scientific article; zbMATH DE number 1839452
• A categorical view of timed behaviours

Cited in

(12)

• Analysis of equivalence relations of event structures with continuous time
• Unifying behavioral equivalences of timed transition systems
• Open maps and weak trace equivalence for timed event structures
• Categorical modeling of trace equivalence for times automata models with invariants
• Comparing equivalences on precubical sets and spaces
• Timed transition systems with independence and timed event structures: an adjunction
• Timed history preserving bisimulation and open maps
• scientific article; zbMATH DE number 2047496 (Why is no real title available?)
• scientific article; zbMATH DE number 1839452 (Why is no real title available?)
• scientific article; zbMATH DE number 2104639 (Why is no real title available?)
• Observational equivalences for timed stable event structures
• Open maps and trace semantics for timed partial order models

This page was built for publication: Open maps and behavioural equivalences for timed stable event structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2885252)