Pages that link to "Item:Q2495646"
From MaRDI portal
The following pages link to Coalgebraic semantics for timed processes (Q2495646):
Displaying 7 items.
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Bialgebraic Methods in Structural Operational Semantics (Q2866314) (← links)
- (Q3121518) (← links)
- Structural Operational Semantics for Weighted Transition Systems (Q3184746) (← links)
- The temporal logic of coalgebras via Galois algebras (Q4405697) (← links)
- Tensors of Comodels and Models for Operational Semantics (Q5415644) (← links)
