The following pages link to (Q4198095):
Displayed 7 items.
- A calculus and logic of resources and processes (Q855007) (← links)
- A calculus and logic of bunched resources and processes (Q906271) (← links)
- Algebra and logic for access control (Q968301) (← links)
- Consistent micro, macro and state-based population modelling (Q975955) (← links)
- Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic (Q2864163) (← links)
- Using Ada for discrete event simulation (Q3345768) (← links)
- Algebra and logic for resource-based systems modelling (Q3643362) (← links)