Open maps and barbed bisimulation for timed transition systems

zbMATH Open1249.68128MaRDI QIDQ2880586FDOQ2880586

Authors: N. S. Gribovskaya 

Publication date: 13 April 2012

Published in: Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science (Search for Journal in Brave)

zbMATH Keywords

decidabilitytimed barbed bisimulation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (2)

• Open Maps Bisimulations for Higher Dimensional Automata Models
• Barbed Semantics for Open Reactive Systems

This page was built for publication: Open maps and barbed bisimulation for timed transition systems

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