The following pages link to CONCUR 2004 - Concurrency Theory (Q5311482):
Displaying 4 items.
- A formalisation of consistent consequence for Boolean equation systems (Q1687766) (← links)
- Parameterised Boolean equation systems (Q2571204) (← links)
- Invariants for Parameterised Boolean Equation Systems (Q3541018) (← links)
- Instantiation for Parameterised Boolean Equation Systems (Q5505619) (← links)