scientific article; zbMATH DE number 1324654

zbMath0920.68078MaRDI QIDQ4255553

Holger Hermanns, Pedro R. D'Argenio, Joost-Pieter Katoen

Publication date: 17 August 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=22#22004

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

zbMATH Keywords

specifying systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences ⋮ Algebraic theory of probabilistic processes. ⋮ Deciding bisimilarity and similarity for probabilistic processes. ⋮ Quantitative Kleene coalgebras ⋮ A hierarchy of probabilistic system types ⋮ Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes

This page was built for publication: