Proof systems for structured specifications with observability operators (Q1391730): Difference between revisions

@@ Property / describes a project that uses @@
+OBSCURE
@@ Property / describes a project that uses: OBSCURE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LARCH
@@ Property / describes a project that uses: LARCH / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Observational structures and their logic
@@ Property / cites work: Observational structures and their logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777428
@@ Property / cites work: Q3777428 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming in a wide spectrum language: A collection of examples
+Normal rank
@@ Property / cites work @@
+How to make algebraic specifications more understandable: An experiment with the PLUSS specification language
+Normal rank
@@ Property / cites work @@
+Behavioural theories and the proof of behavioural properties
+Normal rank
@@ Property / cites work @@
+Q4537506
@@ Property / cites work: Q4537506 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural and abstractor specifications
@@ Property / cites work: Behavioural and abstractor specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q3906394
@@ Property / cites work: Q3906394 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic implementation of abstract data types
@@ Property / cites work: Algebraic implementation of abstract data types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives
+Normal rank
@@ Property / cites work @@
+Q3742703
@@ Property / cites work: Q3742703 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3956373
@@ Property / cites work: Q3956373 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282672
@@ Property / cites work: Q4282672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204067
@@ Property / cites work: Q3204067 / rank @@
+Normal rank
@@ Property / cites work @@
+Structured theory presentations and logic representations
+Normal rank
@@ Property / cites work @@
+Context induction: A proof principle for behavioural abstractions and algebraic implementations
+Normal rank
@@ Property / cites work @@
+Q4842536
@@ Property / cites work: Q4842536 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of correctness of data representations
@@ Property / cites work: Proof of correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+On behavioural abstraction and behavioural satisfaction in higher-order logic
+Normal rank
@@ Property / cites work @@
+Q3659107
@@ Property / cites work: Q3659107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5522915
@@ Property / cites work: Q5522915 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3814782
@@ Property / cites work: Q3814782 / rank @@
+Normal rank
@@ Property / cites work @@
+Fully abstract models of typed \(\lambda\)-calculi
+Normal rank
@@ Property / cites work @@
+Q4729318
@@ Property / cites work: Q4729318 / rank @@
+Normal rank
@@ Property / cites work @@
+Recent trends in data type specification. 7th workshop on specification of abstract data types, Wusterhausen/Dosse, Germany, April 17--20, 1990. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3938468
@@ Property / cites work: Q3938468 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3725523
@@ Property / cites work: Q3725523 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773301
@@ Property / cites work: Q3773301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3042444
@@ Property / cites work: Q3042444 / rank @@
+Normal rank
@@ Property / cites work @@
+On observational equivalence and algebraic specification
+Normal rank
@@ Property / cites work @@
+Toward formal development of programs from algebraic specifications: Implementations revisited
+Normal rank
@@ Property / cites work @@
+Specifications in an arbitrary institution
@@ Property / cites work: Specifications in an arbitrary institution / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666260
@@ Property / cites work: Q3666260 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural correctness of data representations
@@ Property / cites work: Behavioural correctness of data representations / rank @@
+Normal rank
@@ Property / cites work @@
+Two impossibility theorems on behaviour specification of abstract data types
+Normal rank
@@ Property / cites work @@
+Structured algebraic specifications: A kernel language
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank