Pages that link to "Item:Q706498"
From MaRDI portal
The following pages link to Redesign of a systems engineering language: formalisation of \(\chi\) (Q706498):
Displaying 5 items.
- Repairing time-determinism in the process algebra for hybrid systems (Q442292) (← links)
- A ground-complete axiomatization of stateless bisimilarity over Linda (Q477631) (← links)
- Revisiting sequential composition in process calculi (Q890611) (← links)
- Hybrid process algebra (Q1763160) (← links)
- Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)