Open maps and barbed bisimulation for timed transition systems

MaRDI QIDQ2880586zbMATH OpenFDO

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)