The following pages link to (Q4004235):
Displayed 10 items.
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- A sound and complete reasoning system for asynchronous communication with shared futures (Q465485) (← links)
- Lazy behavioral subtyping (Q710675) (← links)
- Compositional reasoning about active objects with shared futures (Q890481) (← links)
- Verification and validation of simulation models (Q1388880) (← links)
- A secrecy-preserving language for distributed and object-oriented systems (Q1648643) (← links)
- On detecting over-eager concurrency in asynchronously communicating concurrent object systems (Q2360659) (← links)
- A simple sequent calculus for partial functions (Q2367544) (← links)
- Encoding natural semantics in Coq (Q5096388) (← links)
- Infinite objects in type theory (Q6083690) (← links)