Pages that link to "Item:Q2890337"
From MaRDI portal
The following pages link to Compositional Modelling and Reasoning in an Institution for Processes and Data (Q2890337):
Displaying 4 items.
- A logic for the stepwise development of reactive systems (Q1786564) (← 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)
