Pages that link to "Item:Q1786564"
From MaRDI portal
The following pages link to A logic for the stepwise development of reactive systems (Q1786564):
Displaying 5 items.
- Compositional approach to the development of reactive algorithms (Q465979) (← links)
- Observational interpretations of hybrid dynamic logic with binders and silent transitions (Q1979970) (← links)
- Hybrid dynamic logic institutions for event/data-based systems (Q2065557) (← links)
- Specification of systems with parameterised events: An institution-independent approach (Q2168786) (← links)
- Structured specification of paraconsistent transition systems (Q6536437) (← links)