Pages that link to "Item:Q2486401"
From MaRDI portal
The following pages link to Notions of bisimulation and congruence formats for SOS with data (Q2486401):
Displayed 6 items.
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Linearization of hybrid processes (Q2368694) (← links)
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- Thread algebra for strategic interleaving (Q2461536) (← links)
- Synchronous cooperation for explicit multi-threading (Q2464036) (← links)
- A Rule Format for Associativity (Q3541037) (← links)