scientific article; zbMATH DE number 3963180
From MaRDI portal
Publication:3731019
Recommendations
Cited in
(20)- Total correctness of CSP programs
- Partial correctness of exits from concurrent structures
- A proof system for distributed processes
- Conditions of contracts for separating responsibilities in heterogeneous systems
- Corrigenda:Cooperating proofs for distributed programs with multiparty interactions
- Fifty years of Hoare's logic
- scientific article; zbMATH DE number 3890715 (Why is no real title available?)
- scientific article; zbMATH DE number 3900140 (Why is no real title available?)
- scientific article; zbMATH DE number 3903944 (Why is no real title available?)
- scientific article; zbMATH DE number 3926218 (Why is no real title available?)
- scientific article; zbMATH DE number 3976314 (Why is no real title available?)
- scientific article; zbMATH DE number 4052987 (Why is no real title available?)
- A compositional proof system for distributed programs
- scientific article; zbMATH DE number 4119602 (Why is no real title available?)
- A proof system for asynchronously communicating deterministic processes
- A Bibliography of Willem-Paul de Roever
- Proof principles of CSP -- CSP-prover in practice
- An introduction to compositional methods for concurrency and their application to real-time.
- Compositional verification of real-time applications
- The need for compositional proof systems: a survey
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 Q3731019)
