scientific article; zbMATH DE number 3997153
From MaRDI portal
Publication:4723289
Recommendations
- A compositional proof system for distributed programs
- Using message passing for distributed programming: proof rules and disciplines
- Message-passing algorithms for the verification of distributed protocols
- scientific article; zbMATH DE number 1487725
- scientific article; zbMATH DE number 7774287
- A trace-based compositional proof theory for fault tolerant distributed systems
- scientific article; zbMATH DE number 3902019
- Compositional semantics for real-time distributed computing
- P-A logic - a compositional proof system for distributed programs
- On the completeness of verifying message passing programs under bounded asynchrony
Cited in
(13)- Compositional semantics for real-time distributed computing
- Control machines: A new model of parallelism for compositional specifications and their effective compilation
- Formal timing analysis of distributed systems
- A compositional axiomatization of statecharts
- Using mappings to prove timing properties
- A trace-based compositional proof theory for fault tolerant distributed systems
- Using message passing for distributed programming: proof rules and disciplines
- scientific article; zbMATH DE number 3902019 (Why is no real title available?)
- scientific article; zbMATH DE number 3956416 (Why is no real title available?)
- scientific article; zbMATH DE number 49713 (Why is no real title available?)
- A proof system for asynchronously communicating deterministic processes
- A contract-based approach to adaptivity
- Axiomatising real-timed 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 Q4723289)
