Pages that link to "Item:Q2291820"
From MaRDI portal
The following pages link to A linear-time-branching-time spectrum for behavioral specification theories (Q2291820):
Displaying 6 items.
- A linear-time branching-time perspective on interface automata (Q2182669) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- The quantitative linear-time-branching-time spectrum (Q2453109) (← links)
- A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories (Q2971124) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897489) (← links)