The following pages link to (Q3777424):
Displaying 23 items.
- Concurrent abstract state machines (Q303691) (← links)
- The sweep-line state space exploration method (Q418783) (← links)
- Static analysis of IMC (Q444504) (← links)
- Contexts, refinement and determinism (Q541213) (← links)
- On the axiomatizability of priority. II (Q549169) (← links)
- A brief history of Timed CSP (Q674191) (← links)
- Computational interpretations of linear logic (Q685430) (← links)
- A general framework for architecture composability (Q736458) (← links)
- Algebra and logic for access control (Q968301) (← links)
- Basic observables for processes (Q1286368) (← links)
- Recursion induction for real-time processes (Q1329195) (← links)
- Proofs as processes (Q1342245) (← links)
- TTL: A modular language for hardware/software systems design. (Q1400574) (← links)
- Full abstraction for PCF (Q1854394) (← links)
- Semantics of under-determined expressions (Q1911315) (← links)
- External and internal choice with event groups in Event-B (Q1941871) (← links)
- Self-stabilizing defeat status computation: dealing with conflict management in multi-agent systems (Q2457665) (← links)
- Verifying security protocols with PVS: widening the rank function approach (Q2484411) (← links)
- Linking Event-B and Concurrent Object-Oriented Programs (Q5403467) (← links)
- General Refinement, Part One: Interfaces, Determinism and Special Refinement (Q5403470) (← links)
- Journeys in non-classical computation I: A grand challenge for computing research (Q5492115) (← links)
- Inheritance of behavior (Q5943265) (← links)
- Divergence in testing and readiness semantics (Q5958758) (← links)
