Pages that link to "Item:Q1356941"
From MaRDI portal
The following pages link to Categorical semantics of parallel program design (Q1356941):
Displayed 5 items.
- A basic algebra of stateless connectors (Q860881) (← links)
- On what exactly goes on when software is developed step-by-step. II: The sequel (Q1028976) (← links)
- Interactive verification of architectural design patterns in FACTum (Q2335950) (← links)
- A Connector Algebra for P/T Nets Interactions (Q3090838) (← links)
- Services and Contracts: Coalgebraically (Q5415620) (← links)