Pages that link to "Item:Q1805037"
From MaRDI portal
The following pages link to Extensions of the UNITY methodology: compositionality, fairness and probability in parallelism (Q1805037):
Displaying 4 items.
- Integrating stochastic reasoning into Event-B development (Q903513) (← links)
- Composing leads-to properties (Q1575647) (← links)
- Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing (Q5403079) (← links)
- A modular coding of \textsc{Unity} in \textsc{Coq} (Q6567718) (← links)
