Pages that link to "Item:Q4787129"
From MaRDI portal
The following pages link to Getting Demos models right. (II) … and theory (Q4787129):
Displaying 5 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. (I). Practice (Q4787128) (← links)