The following pages link to (Q4207567):
Displaying 9 items.
- Partial (set) 2-structures. II: State spaces of concurrent systems (Q911308) (← links)
- Branching versus linear logics yet again (Q911747) (← links)
- CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus (Q1325848) (← links)
- Axiomatising extended computation tree logic (Q1389439) (← links)
- Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving (Q2418047) (← links)
- Stepwise refinement and concurrency: The finite-state case (Q2640349) (← links)
- Proving Liveness and Termination of Systolic Arrays Using Communicating Finite State Machines (Q3690225) (← links)
- TTL : a formalism to describe local and global properties of distributed systems (Q3992090) (← links)
- Axiomatising extended computation tree logic (Q5878903) (← links)