scientific article; zbMATH DE number 1324654

MaRDI QIDQ4255553zbMATH OpenFDO

Authors Holger Hermanns, P. 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

zbMATH Keywords

specifying systems

Mathematics Subject Classification ID

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

Recommendations

• Processes, Terms and Cycles: Steps on the Road to Infinity
• Processes with probabilities, priority and time
• Composition and behaviors of probabilistic I/O automata
• A model of probabilistic processes
• Probabilistic communicating processes

Cited in

(9)

• Algebraic theory of probabilistic processes.
• Discrete time generative-reactive probabilistic processes with different advancing speeds
• Deciding bisimilarity and similarity for probabilistic processes.
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• Quantitative Kleene coalgebras
• Communicating Sequential Processes. The First 25 Years
• Processes, Terms and Cycles: Steps on the Road to Infinity
• A hierarchy of probabilistic system types
• Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4255553)