The following pages link to (Q4737185):
Displaying 9 items.
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Category theory for operational semantics (Q703525) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Modular construction of complete coalgebraic logics (Q2464936) (← links)
- Coalgebraic semantics for timed processes (Q2495646) (← links)
- GSOS for probabilistic transition systems (Q2842551) (← links)
- Bialgebraic Methods in Structural Operational Semantics (Q2866314) (← links)
- (Q3121518) (← links)
