Behavioural theories and the proof of behavioural properties (Q671500): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(96)00039-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2029841602
@@ Property / OpenAlex ID: W2029841602 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537506
@@ Property / cites work: Q4537506 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural satisfaction and equivalence in concrete model categories
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of LP, the Larch Prover
@@ Property / cites work: An overview of LP, the Larch Prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q3956373
@@ Property / cites work: Q3956373 / rank @@
+Normal rank
@@ Property / cites work @@
+Context induction: A proof principle for behavioural abstractions and algebraic implementations
+Normal rank
@@ Property / cites work @@
+Proof systems for structured specifications with observability operators
+Normal rank
@@ Property / cites work @@
+On behavioural abstraction and behavioural satisfaction in higher-order logic
+Normal rank
@@ Property / cites work @@
+Q5522915
@@ Property / cites work: Q5522915 / 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 @@
+Q3725523
@@ Property / cites work: Q3725523 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773301
@@ Property / cites work: Q3773301 / 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 @@
+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 @@
+Data Type Specification: Parameterization and the Power of Specification Techniques
+Normal rank
@@ Property / cites work @@
+Q3912057
@@ Property / cites work: Q3912057 / rank @@
+Normal rank