Process Algebra for Modal Transition Systemses

DOI10.4230/OASIcs.MEMICS.2010.9zbMath1247.68183OpenAlexW1499684449MaRDI QIDQ2917271

Nikola Beneš, Jan Křetínský

Publication date: 28 September 2012

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2011/3070/pdf/14.pdf

zbMATH Keywords

process algebraspecificationmodal transition systems

Mathematics Subject Classification ID

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

Related Items (3)

Parametric and Quantitative Extensions of Modal Transition Systems ⋮ Logical vs. behavioural specifications ⋮ Refinement checking on parametric modal transition systems

This page was built for publication: Process Algebra for Modal Transition Systemses