Pages that link to "Item:Q2272994"
From MaRDI portal
The following pages link to A calculus for collective-adaptive systems and its behavioural theory (Q2272994):
Displaying 4 items.
- A coordination protocol language for power grid operation control (Q2011215) (← links)
- A calculus for attribute-based memory updates (Q2119988) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- AbU: a calculus for distributed event-driven programming with attribute-based interaction (Q6038690) (← links)