A Semiring Approach to Equivalences, Bisimulations and Control

From MaRDI portal

Revision as of 06:19, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3651513

Jump to:navigation, search

DOI10.1007/978-3-642-04639-1_10zbMath1267.68142OpenAlexW1773764144WikidataQ62039047 ScholiaQ62039047MaRDI QIDQ3651513

Bernhard Möller, Roland Glück, Michel Sintzoff

Publication date: 11 December 2009

Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/58785

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Semirings (16Y60)

Related Items (4)

Algebraic Investigation of Connected Components ⋮ Exploring modal worlds ⋮ Compatibility of refining and controlling plant automata with bisimulation quotients ⋮ Model Refinement Using Bisimulation Quotients

This page was built for publication: A Semiring Approach to Equivalences, Bisimulations and Control

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3651513&oldid=17103984"