Similar Items: Well Behaved Transition Systems
- Branch-Well-Structured Transition Systems and Extensions
- Modal Logics for Nominal Transition Systems
- Labelled transition systems as a Stone space
- Formalization of Abstract State Transition Systems for SAT
- Reasoning About Bounds in Weighted Transition Systems
- Model Checking Synchronized Products of Infinite Transition Systems