Pages that link to "Item:Q1356941"
From MaRDI portal
The following pages link to Categorical semantics of parallel program design (Q1356941):
Displaying 8 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)
- Categorical description of asynchronous parallel computations (Q1276535) (← links)
- Superposition: Composition vs refinement of non-deterministic, action-based systems (Q1882783) (← links)
- Interactive verification of architectural design patterns in FACTum (Q2335950) (← links)
- A Connector Algebra for P/T Nets Interactions (Q3090838) (← links)
- Formalizing Parallel Programming in Large Scale Distributed Networks: From Tasks Parallel and Data Parallel to Applied Categorical Structures (Q3647315) (← links)
- Services and Contracts: Coalgebraically (Q5415620) (← links)