A Proof System for Compositional Verification of Probabilistic Concurrent Processes

DOI10.1007/978-3-642-37075-5_11MaRDI QIDQ4910418zbMATH OpenOpenAlexFDO

Authors Matteo Mio, Alex Simpson

Publication date 18 March 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-37075-5_11

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Verification of multiprocess probabilistic protocols
• Automata, Languages and Programming
• Compositional verification of concurrent systems by combining bisimulations
• scientific article; zbMATH DE number 4092735
• Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
• scientific article; zbMATH DE number 1754609
• scientific article; zbMATH DE number 1897216
• scientific article; zbMATH DE number 591003
• Learning-based compositional verification for synchronous probabilistic systems
• A proof system for asynchronously communicating deterministic processes

Cited in

(12)

• Verification of multiprocess probabilistic protocols
• A trace-based compositional proof theory for fault tolerant distributed systems
• SOS specifications for uniformly continuous operators
• Probabilistic divide \& congruence: branching bisimilarity
• Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems
• Compositional bisimulation metric reasoning with Probabilistic Process Calculi
• Cyclic arithmetic is equivalent to Peano arithmetic
• scientific article; zbMATH DE number 1522998 (Why is no real title available?)
• scientific article; zbMATH DE number 1418350 (Why is no real title available?)
• Proof theory of Riesz spaces and modal Riesz spaces
• Towards Automated Proof Support for Probabilistic Distributed Systems
• Back to the format: a survey on SOS for probabilistic processes

This page was built for publication: A Proof System for Compositional Verification of Probabilistic Concurrent Processes

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