Similar Items: Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
- Compatibility Properties of Synchronously and Asynchronously Communicating Components
- Assessing Coverage of SW-Based Error Detection of Hardware Components According to Transition Path Delay Fault Model
- Epistemic Updates on Algebras
- Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
- Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
- Weighted Logics for Nested Words and Algebraic Formal Power Series