The following pages link to (Q4733381):
Displaying 5 items.
- Compositionality and bisimulation: A negative result (Q1182130) (← links)
- Temporal theories as modularisation units for concurrent system specification (Q1192604) (← links)
- \(\infty\)-regular temporal logic and its model checking problem (Q1199535) (← links)
- A Branching Time Logical System for Open Distributed Systems Development (Q4916209) (← links)
- Similarity saturation for first order linear temporal logic with UNLESS (Q5236443) (← links)
