Pages that link to "Item:Q2890333"
From MaRDI portal
The following pages link to Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum (Q2890333):
Displaying 4 items.
- Towards Algebraic Semantics of Circus Time (Q2814616) (← links)
- Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum (Q2890333) (← links)
- A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories (Q2971124) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897489) (← links)