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 17 items.
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- Repairing time-determinism in the process algebra for hybrid systems (Q442292) (← links)
- HYPE: hybrid modelling by composition of flows (Q470011) (← links)
- A ground-complete axiomatization of stateless bisimilarity over Linda (Q477631) (← links)
- Structural operational semantics through context-dependent behaviour (Q638568) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Dynamic structural operational semantics (Q2329443) (← 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)
- Relating Hybrid Chi to Other Formalisms (Q2864397) (← links)
- Views on Behaviour Protocols and Their Semantic Foundation (Q2888499) (← links)
- A Rule Format for Associativity (Q3541037) (← links)
- (Q5020944) (← links)
- DyNetKAT: an algebra of dynamic networks (Q6181928) (← links)