Pages that link to "Item:Q5703996"
From MaRDI portal
The following pages link to Recent Trends in Algebraic Development Techniques (Q5703996):
Displaying 4 items.
- CSP-CASL -- a new integration of process algebra and algebraic specification (Q2368940) (← links)
- Compositional Modelling and Reasoning in an Institution for Processes and Data (Q2890337) (← links)
- Property Preserving Refinement for Csp-Casl (Q3184734) (← links)
- CSP-CASL-Prover: A Generic Tool for Process and Data Refinement (Q5178975) (← links)