The following pages link to (Q2847808):
Displayed 5 items.
- About permutation algebras, (pre)sheaves and named sets (Q853745) (← links)
- A coalgebraic semantics for causality in Petri nets (Q890619) (← links)
- Free-algebra models for the \(\pi \)-calculus (Q2474057) (← links)
- Comparing operational models of name-passing process calculi (Q2495643) (← links)
- Modularity and Implementation of Mathematical Operational Semantics (Q5166622) (← links)