scientific article; zbMATH DE number 1318512

MaRDI QIDQ4256644zbMATH OpenFDO

Authors

Publication date 8 August 1999

Mathematics Subject Classification ID

Logic in computer science (03B70) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• Probably safe or live
• Recognizing safety and liveness
• Probabilistic communicating processes
• Characterising probabilistic processes logically (extended abstract)
• On the verification of qualitative properties of probabilistic processes under fairness constraints.

Cited in

(11)

• Proving nondeterministically specified safety properties using progress measures
• A logic for reasoning about time and reliability
• Algebraic theory of probabilistic and nondeterministic processes.
• Additive models of probabilistic processes
• A framework for analyzing probabilistic protocols and its application to the partial secrets exchange
• On the verification of qualitative properties of probabilistic processes under fairness constraints.
• Determining asynchronous test equivalence for probabilistic processes
• A lattice-theoretic characterization of safety and liveness
• scientific article; zbMATH DE number 177518 (Why is no real title available?)
• Probably safe or live
• Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation

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 Q4256644)