The following pages link to (Q4494243):
Displaying 5 items.
- On the nature of events: another perspective in concurrency (Q674197) (← links)
- Event-B refinement for continuous behaviours approximation (Q2147212) (← links)
- Consistency-preserving refactoring of refinement structures in Event-B models (Q2418044) (← links)
- Formalizing the specification and execution of workflows using the event calculus (Q2499063) (← links)
- Comparing some Intuitions of 'Process Calculus' and 'Program Logic' (Q4529487) (← links)