scientific article; zbMATH DE number 2090710

zbMath1065.68594MaRDI QIDQ4813205

Markus Siegle, Matthias Kuntz

Publication date: 13 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2399/23990188.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. ⋮ An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA ⋮ A New Algorithm for Partitioned Symbolic Reachability Analysis ⋮ Symbolic Reachability for Process Algebras with Recursive Data Types

Uses Software

• Unnamed Item

This page was built for publication: