The following pages link to (Q3819969):
Displaying 9 items.
- Compositional semantics for real-time distributed computing (Q1119027) (← links)
- Compositionality, Concurrency and Partial Correctness. Proof Theories for Networks of Processes, and their Relationship (Q1187626) (← links)
- Network Conscious π-calculus: A Concurrent Semantics (Q3178290) (← links)
- (Q4727410) (← links)
- A Proof System for Compositional Verification of Probabilistic Concurrent Processes (Q4910418) (← links)
- (Q4941913) (← links)
- Constraining interference in an object-based design method (Q5044731) (← links)
- A proof system for asynchronously communicating deterministic processes (Q5096883) (← links)
- Assumption-Commitment Support for CSP Model Checking (Q5178998) (← links)