The following pages link to (Q4738189):
Displaying 5 items.
- Dynamic consistency in process algebra: from paradigm to ACP (Q541685) (← links)
- Towards a proof method for Paradigm (Q2026799) (← links)
- Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets (Q2096425) (← links)
- Dynamic Consistency in Process Algebra: From Paradigm to ACP (Q5179202) (← links)
- A Language for Task Orchestration and Its Semantic Properties (Q5756609) (← links)