The following pages link to Rule formats for timed processes (Q2841307):
Displaying 6 items.
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation (Q1878718) (← links)
- Coalgebraic semantics for timed processes (Q2495646) (← links)
- Bialgebraic methods in structural operational semantics (invited talk) (Q2866314) (← links)
- Structural Operational Semantics for Weighted Transition Systems (Q3184746) (← links)