Pages that link to "Item:Q2495646"
From MaRDI portal
The following pages link to Coalgebraic semantics for timed processes (Q2495646):
Displaying 14 items.
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Rule formats for timed processes (Q2841307) (← links)
- Modularity of behaviours for mathematical operational semantics (Q2847814) (← links)
- Bialgebraic methods in structural operational semantics (invited talk) (Q2866314) (← links)
- Traces, Executions and Schedulers, Coalgebraically (Q2888488) (← links)
- Coinduction in concurrent timed systems (Q2919457) (← links)
- Symbolic and Asynchronous Semantics via Normalized Coalgebras (Q3003325) (← links)
- (Q3121518) (← links)
- Structural Operational Semantics for Weighted Transition Systems (Q3184746) (← links)
- The temporal logic of coalgebras via Galois algebras (Q4405697) (← links)
- (Q4409159) (← links)
- (Q4621139) (← links)
- Tensors of Comodels and Models for Operational Semantics (Q5415644) (← links)