The following pages link to (Q4536374):
Displaying 10 items.
- Sequential and distributed on-the-fly computation of weak tau-confluence (Q436408) (← links)
- On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP (Q1001805) (← links)
- Compositional verification of concurrent systems by combining bisimulations (Q2147689) (← links)
- Cartesian difference categories (Q2200813) (← links)
- Session types for safe web service orchestration (Q2436511) (← links)
- A theory for observational fault tolerance (Q2643332) (← links)
- Compositional State Space Reduction Using Untangled Actions (Q2866342) (← links)
- State Space Reduction of Linear Processes Using Control Flow Reconstruction (Q3648690) (← links)
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities (Q5164168) (← links)
- Star-Topology Decoupling in SPIN (Q5883577) (← links)