Pages that link to "Item:Q2368940"
From MaRDI portal
The following pages link to CSP-CASL -- a new integration of process algebra and algebraic specification (Q2368940):
Displaying 7 items.
- Test selection for traces refinement (Q481094) (← links)
- A logic for the stepwise development of reactive systems (Q1786564) (← links)
- Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum (Q2890333) (← links)
- Compositional Modelling and Reasoning in an Institution for Processes and Data (Q2890337) (← links)
- Dynamic Logic with Binders and Its Application to the Development of Reactive Systems (Q3179414) (← links)
- Property Preserving Refinement for Csp-Casl (Q3184734) (← links)
- CSP-CASL-Prover: A Generic Tool for Process and Data Refinement (Q5178975) (← links)
