Constructor-based observational logic (Q2369030): Difference between revisions

@@ Property / describes a project that uses @@
+PVS
@@ Property / describes a project that uses: PVS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LARCH
@@ Property / describes a project that uses: LARCH / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CafeOBJ
@@ Property / describes a project that uses: CafeOBJ / rank @@
+Normal rank
@@ 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/j.jlap.2005.09.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2113351814
@@ Property / OpenAlex ID: W2113351814 / rank @@
+Normal rank
@@ Property / cites work @@
+CASL: the Common Algebraic Specification Language.
+Normal rank
@@ Property / cites work @@
+Q4255593
@@ Property / cites work: Q4255593 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702601
@@ Property / cites work: Q4702601 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural theories and the proof of behavioural properties
+Normal rank
@@ Property / cites work @@
+Q4738215
@@ Property / cites work: Q4738215 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771053
@@ Property / cites work: Q2771053 / rank @@
+Normal rank
@@ Property / cites work @@
+Observational logic, constructor-based logic, and their duality.
+Normal rank
@@ Property / cites work @@
+Behavioural and abstractor specifications
@@ Property / cites work: Behavioural and abstractor specifications / rank @@
+Normal rank
@@ Property / cites work @@
+CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Architectural specifications in CASL
@@ Property / cites work: Architectural specifications in CASL / rank @@
+Normal rank
@@ Property / cites work @@
+Logical systems for structured specifications.
@@ Property / cites work: Logical systems for structured specifications. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221381
@@ Property / cites work: Q3221381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493908
@@ Property / cites work: Q4493908 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Institution morphisms
@@ Property / cites work: Institution morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282672
@@ Property / cites work: Q4282672 / rank @@
+Normal rank
@@ Property / cites work @@
+Context induction: A proof principle for behavioural abstractions and algebraic implementations
+Normal rank
@@ Property / cites work @@
+Algebraic methodology and software technology. 7th international conference, AMAST '98, Amazonia, Brazil, January 4--8, 1999. Proceedings
+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 @@
+Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
+Normal rank
@@ Property / cites work @@
+Q2785427
@@ Property / cites work: Q2785427 / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Relating CASL with other specification languages: the institution level.
+Normal rank
@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+Normal rank
@@ Property / cites work @@
+Q4729318
@@ Property / cites work: Q4729318 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2843734
@@ Property / cites work: Q2843734 / rank @@
+Normal rank
@@ Property / cites work @@
+On observational equivalence and algebraic specification
+Normal rank
@@ Property / cites work @@
+Specifications in an arbitrary institution
@@ Property / cites work: Specifications in an arbitrary institution / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702594
@@ Property / cites work: Q4702594 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2782496
@@ Property / cites work: Q2782496 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank