Using Bisimulations for Optimality Problems in Model Refinement
From MaRDI portal
Publication:3007576
DOI10.1007/978-3-642-21070-9_14zbMath1329.68184DBLPconf/RelMiCS/Gluck11OpenAlexW166961375WikidataQ62039045 ScholiaQ62039045MaRDI QIDQ3007576
Publication date: 17 June 2011
Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-21070-9_14
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Ordered semigroups and monoids (06F05)
Related Items (2)
Two Observations in Dioid Based Model Refinement ⋮ Compatibility of refining and controlling plant automata with bisimulation quotients
This page was built for publication: Using Bisimulations for Optimality Problems in Model Refinement
