Pages that link to "Item:Q931435"
From MaRDI portal
The following pages link to Specification of communicating processes: temporal logic versus refusals-based refinement (Q931435):
Displaying 8 items.
- Foundations for using linear temporal logic in Event-B refinement (Q333316) (← links)
- Formalisations and applications of BPMN (Q541678) (← links)
- Property specifications for workflow modelling (Q549695) (← links)
- On the limits of refinement-testing for model-checking CSP (Q1941896) (← links)
- Temporal reasoning through automatic translation of tock-CSP into timed automata (Q2154047) (← links)
- Formal Methods to Improve Public Administration Business Processes (Q2889178) (← links)
- Property Specifications for Workflow Modelling (Q3605458) (← links)
- \textit{\textsf{Circus2CSP}}: a tool for model-checking \textit{\textsf{Circus}} using FDR (Q6535952) (← links)
