scientific article; zbMATH DE number 3903940
From MaRDI portal
Publication:3681905
Recommendations
Cited in
(33)- Specification-oriented semantics for communicating processes
- A proof system for distributed processes
- Compositional semantics for real-time distributed computing
- Correctness of concurrent processes
- Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
- Program composition via unification
- Reasoning about dynamically evolving process structures
- Invariants, composition, and substitution
- Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency
- The composability problem of the semantics of XYZ/BE-communicating processes
- scientific article; zbMATH DE number 1696509 (Why is no real title available?)
- scientific article; zbMATH DE number 3846842 (Why is no real title available?)
- scientific article; zbMATH DE number 3956417 (Why is no real title available?)
- scientific article; zbMATH DE number 4092735 (Why is no real title available?)
- scientific article; zbMATH DE number 591003 (Why is no real title available?)
- scientific article; zbMATH DE number 978247 (Why is no real title available?)
- scientific article; zbMATH DE number 1051241 (Why is no real title available?)
- scientific article; zbMATH DE number 1955904 (Why is no real title available?)
- A compositional proof system for distributed programs
- Building reliable, high-performance networks with the Nuprl proof development system
- A proof system for asynchronously communicating deterministic processes
- A Bibliography of Willem-Paul de Roever
- Program composition via unification
- Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs
- Modal logics for communicating systems
- An introduction to compositional methods for concurrency and their application to real-time.
- An experiment in program composition and proof
- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs
- The need for compositional proof systems: a survey
- P-A logic - a compositional proof system for distributed programs
- Issues in the design of a parallel object-oriented language
- A functional programming approach to the specification and verification of concurrent systems
- Proof theory for exception handling in a tasking environment
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 Q3681905)
