Pages that link to "Item:Q3184736"
From MaRDI portal
The following pages link to A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum (Q3184736):
Displaying 5 items.
- Bialgebras for structural operational semantics: an introduction (Q639646) (← 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)
- Final Semantics for Decorated Traces (Q3178274) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897489) (← links)