Pages that link to "Item:Q1090100"
From MaRDI portal
The following pages link to Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100):
Displaying 28 items.
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- Behavioural theories and the proof of behavioural properties (Q671500) (← links)
- On behavioural abstraction and behavioural satisfaction in higher-order logic (Q671672) (← links)
- On the correctness of modular systems (Q674009) (← links)
- Generic constructions for behavioral specifications (Q764311) (← links)
- A language for configuring multi-level specifications (Q820125) (← links)
- HasCasl: integrated higher-order specification and program development (Q1006648) (← links)
- Constructing specification morphisms (Q1322845) (← links)
- Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357) (← links)
- Two impossibility theorems on behaviour specification of abstract data types (Q1323373) (← links)
- Structured theory presentations and logic representations (Q1326777) (← links)
- Behavioural approaches to algebraic specifications. A comparative study (Q1338907) (← links)
- Essential concepts of algebraic specification and program development (Q1377322) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- The definition of Extended ML: A gentle introduction (Q1391731) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- A hidden agenda (Q1575735) (← links)
- Observational proofs by rewriting. (Q1607227) (← links)
- A logic for the stepwise development of reactive systems (Q1786564) (← links)
- Modular specification of process algebras (Q1802074) (← links)
- Prelogical relations (Q1854557) (← 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)
- Views on Behaviour Protocols and Their Semantic Foundation (Q2888499) (← links)
- Lambda Expressions in Casl Architectural Specifications (Q2890326) (← links)
- Algebraic Signatures Enriched by Dependency Structure (Q2890335) (← links)
- Dynamic Logic with Binders and Its Application to the Development of Reactive Systems (Q3179414) (← links)
- Heterogeneous Logical Environments for Distributed Specifications (Q3184737) (← links)
