Pages that link to "Item:Q3179414"
From MaRDI portal
The following pages link to Dynamic Logic with Binders and Its Application to the Development of Reactive Systems (Q3179414):
Displaying 7 items.
- Behavioural and abstractor specifications revisited (Q724932) (← links)
- A logic for the stepwise development of reactive systems (Q1786564) (← links)
- Observational interpretations of hybrid dynamic logic with binders and silent transitions (Q1979970) (← links)
- Specification of systems with parameterised events: An institution-independent approach (Q2168786) (← links)
- Institution-based encoding and verification of simple UML state machines in CASL/SPASS (Q2237342) (← links)
- Dynamic Logic with Binders and Its Application to the Development of Reactive Systems (Q3179414) (← links)
- Observational Semantics for Dynamic Logic with Binders (Q5208504) (← links)