The refinement of event calculus models
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1926646
- Event Calculus Reasoning Through Satisfiability
- Reconciling the event calculus with the situation calculus
- The behavioural semantics of Event-B refinement
- scientific article; zbMATH DE number 1444722
- A logic-based, reactive calculus of events
- Declarative event based models of concurrency and refinement in psi-calculi
- Refinement, decomposition, and instantiation of discrete models: application to Event-B
Cited in
(10)- Event-B refinement for continuous behaviours approximation
- Consistency-preserving refactoring of refinement structures in Event-B models
- Formalizing the specification and execution of workflows using the event calculus
- Between the event calculus and finite state temporality
- Reactive event calculus for monitoring global computing applications
- scientific article; zbMATH DE number 1945868 (Why is no real title available?)
- Comparing some Intuitions of 'Process Calculus' and 'Program Logic'
- scientific article; zbMATH DE number 1759373 (Why is no real title available?)
- On the nature of events
- On the nature of events: another perspective in concurrency
This page was built for publication: The refinement of event calculus models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4494243)
