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

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