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 9 items.
- Test selection for traces refinement (Q481094) (← links)
- A logic for the stepwise development of reactive systems (Q1786564) (← links)
- \textsc{CoCasl} at work -- modelling process algebra (Q2843729) (← 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)
- Structured CSP – A Process Algebra as an Institution (Q3591065) (← links)
- CSP-CASL-Prover: A Generic Tool for Process and Data Refinement (Q5178975) (← links)