Pages that link to "Item:Q4787128"
From MaRDI portal
The following pages link to Getting Demos models right. (I). Practice (Q4787128):
Displaying 6 items.
- A calculus and logic of resources and processes (Q855007) (← links)
- Systems modelling via resources and processes: philosophy, calculus, semantics, and logic (Q2864163) (← links)
- Relating operational and denotational descriptions of πDemos (Q3125905) (← links)
- Algebra and logic for resource-based systems modelling (Q3643362) (← links)
- Getting Demos models right. (II) … and theory (Q4787129) (← links)
- SPADES - a process algebra for discrete event simulation (Q4952025) (← links)