The following pages link to (Q3336680):
Displaying 11 items.
- Dynamically consistent reduction of logical regulatory graphs (Q533364) (← links)
- Modal logics for communicating systems (Q578896) (← links)
- \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes (Q856423) (← links)
- Extensional equivalences for transition systems (Q1098303) (← links)
- Equivalence-preserving first-order unfold/fold transformation systems (Q1200980) (← links)
- Property preserving abstractions for the verification of concurrent systems (Q1346649) (← links)
- An algebraic characterization of observational equivalence (Q1351804) (← links)
- An algebraic characterization of transition system equivalences (Q1822989) (← links)
- Selective mu-calculus and formula-based equivalence of transition systems (Q1970206) (← links)
- Using heuristic search for finding deadlocks in concurrent systems (Q2573636) (← links)
- (Q4260382) (← links)
