scientific article
From MaRDI portal
Publication:3394898
zbMath1255.68004MaRDI QIDQ3394898
Alessandro Aldini, Marco Bernardo, Flavio Corradini
Publication date: 10 September 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
verificationmodelingprocess algebratestingbisimulationcommunicating concurrent systemsarchitectural description languagesoftware architecture design
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68N99)
Related Items (8)
Model Checking Probabilistic Systems ⋮ A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences ⋮ Product line process theory ⋮ Threaded behavior protocols ⋮ On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi ⋮ On the Semantics of Markov Automata ⋮ Approximating Markovian testing equivalence ⋮ Moving from interface theories to assembly theories
Uses Software
This page was built for publication:
