Pages that link to "Item:Q3591065"
From MaRDI portal
The following pages link to Structured CSP – A Process Algebra as an Institution (Q3591065):
Displaying 9 items.
- Complete model-based equivalence class testing for nondeterministic systems (Q520246) (← links)
- Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)
- Angelic processes for CSP via the UTP (Q1757156) (← links)
- CSP-CASL -- a new integration of process algebra and algebraic specification (Q2368940) (← links)
- An Institution for Graph Transformation (Q2890329) (← links)
- Compositional Modelling and Reasoning in an Institution for Processes and Data (Q2890337) (← links)
- Property Preserving Refinement for Csp-Casl (Q3184734) (← links)
- Translating Testing Theories for Concurrent Systems (Q3449629) (← links)
- CSP-CASL-Prover: A Generic Tool for Process and Data Refinement (Q5178975) (← links)