Similar Items: Computation Tree Logic with Deadlock Detection
- Distributed controller synthesis for deadlock avoidance
- Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
- Logics for Unranked Trees: An Overview
- Algebraic and logical descriptions of generalized trees
- Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
- Two-Way Unary Temporal Logic over Trees