Ordinal Theory for Expressiveness of Well Structured Transition Systems
From MaRDI portal
Publication:3000606
DOI10.1007/978-3-642-19805-2_11zbMath1326.68198OpenAlexW1856811321WikidataQ57831216 ScholiaQ57831216MaRDI QIDQ3000606
Serge Haddad, Fernando Rosa-Velardo, Rémi Bonnet, Alain Finkel
Publication date: 19 May 2011
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-19805-2_11
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
This page was built for publication: Ordinal Theory for Expressiveness of Well Structured Transition Systems
