Pages that link to "Item:Q1192604"
From MaRDI portal
The following pages link to Temporal theories as modularisation units for concurrent system specification (Q1192604):
Displaying 13 items.
- Encapsulating deontic and branching time specifications (Q714879) (← links)
- Deontic action logic, atomic Boolean algebras and fault-tolerance (Q846527) (← links)
- Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- Verification of reactive systems using temporal logic with clocks (Q1575841) (← links)
- A logic for the stepwise development of reactive systems (Q1786564) (← links)
- Towards a First-Order Deontic Action Logic (Q2890324) (← links)
- Dynamic Logic with Binders and Its Application to the Development of Reactive Systems (Q3179414) (← links)
- A Tableaux System for Deontic Action Logic (Q3522041) (← links)
- Mirror, mirror in my hand: a duality between specifications and models of process behaviour (Q4715670) (← links)
- A Branching Time Logical System for Open Distributed Systems Development (Q4916209) (← links)
- Algebra Transformation Systems as a Unifying Framework (Q4923537) (← links)
- Constructing systems as object communities (Q5044754) (← links)
