Pages that link to "Item:Q5709370"
From MaRDI portal
The following pages link to Communicating Sequential Processes. The First 25 Years (Q5709370):
Displaying 4 items.
- Action systems, unbounded nondeterminism, and infinite traces (Q1805399) (← links)
- How to Brew-up a Refinement Ordering (Q2994493) (← links)
- Refinement-Preserving Plug-In Components (Q4923380) (← links)
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving (Q6639734) (← links)