scientific article; zbMATH DE number 4092735
From MaRDI portal
Publication:3819969
Recommendations
- Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
- A survey of verification techniques for parallel programs
- scientific article; zbMATH DE number 3940705
- Compositional state space reduction using untangled actions
- scientific article; zbMATH DE number 3903940
- Control machines: A new model of parallelism for compositional specifications and their effective compilation
- scientific article; zbMATH DE number 683364
- scientific article; zbMATH DE number 3980500
- Algebraic process verification.
- scientific article; zbMATH DE number 3902008
Cited in
(13)- Compositional semantics for real-time distributed computing
- Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship
- Network Conscious π-calculus: A Concurrent Semantics
- scientific article; zbMATH DE number 3846842 (Why is no real title available?)
- scientific article; zbMATH DE number 3903940 (Why is no real title available?)
- scientific article; zbMATH DE number 3905833 (Why is no real title available?)
- scientific article; zbMATH DE number 4060694 (Why is no real title available?)
- scientific article; zbMATH DE number 4001462 (Why is no real title available?)
- A Proof System for Compositional Verification of Probabilistic Concurrent Processes
- scientific article; zbMATH DE number 1418350 (Why is no real title available?)
- Constraining interference in an object-based design method
- A proof system for asynchronously communicating deterministic processes
- Assumption-commitment support for CSP model checking
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 Q3819969)
