Behavioral abstraction is hiding information (Q703529): Difference between revisions

@@ Property / cites work @@
+Module algebra
@@ Property / cites work: Module algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
+Normal rank
@@ Property / cites work @@
+Observational specifications and the indistinguishability assumption
+Normal rank
@@ Property / cites work @@
+Q4537506
@@ Property / cites work: Q4537506 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural theories and the proof of behavioural properties
+Normal rank
@@ Property / cites work @@
+Modular correctness proofs of behavioural implementations
+Normal rank
@@ Property / cites work @@
+Q4499312
@@ Property / cites work: Q4499312 / rank @@
+Normal rank
@@ Property / cites work @@
+Recent trends in algebraic development techniques. 12th international workshop, WADT '97, Tarquinia, Italy, June 3--7, 1997. Selected papers
+Normal rank
@@ Property / cites work @@
+Q4256316
@@ Property / cites work: Q4256316 / rank @@
+Normal rank
@@ Property / cites work @@
+Recent trends in algebraic development techniques. 13th international workshop, WADT '98, Lisbon, Portugal, April 2--4, 1998. Proceedings
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Q4222853
@@ Property / cites work: Q4222853 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256315
@@ Property / cites work: Q4256315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520814
@@ Property / cites work: Q4520814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4105777
@@ Property / cites work: Q4105777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3975038
@@ Property / cites work: Q3975038 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q4942101
@@ Property / cites work: Q4942101 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703688
@@ Property / cites work: Q2703688 / rank @@
+Normal rank
@@ Property / cites work @@
+Hidden coinduction:  behavioural correctness proofs for objects
+Normal rank
@@ Property / cites work @@
+A hidden agenda
@@ Property / cites work: A hidden agenda / rank @@
+Normal rank
@@ Property / cites work @@
+Q3956373
@@ Property / cites work: Q3956373 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493908
@@ Property / cites work: Q4493908 / rank @@
+Normal rank
@@ Property / cites work @@
+Institution morphisms
@@ Property / cites work: Institution morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+Context induction: A proof principle for behavioural abstractions and algebraic implementations
+Normal rank
@@ Property / cites work @@
+Constructor-based observational logic
@@ Property / cites work: Constructor-based observational logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222950
@@ Property / cites work: Q4222950 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation and Hidden Algebra
@@ Property / cites work: Bisimulation and Hidden Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3687683
@@ Property / cites work: Q3687683 / 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 @@
+Swinging types=functions+relations+transition systems
+Normal rank
@@ Property / cites work @@
+Q3938468
@@ Property / cites work: Q3938468 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4725725
@@ Property / cites work: Q4725725 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational axiomatizability for coalgebra
@@ Property / cites work: Equational axiomatizability for coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Automated deduction in classical and non-classical logics. Selected papers
+Normal rank
@@ Property / cites work @@
+Q2709810
@@ Property / cites work: Q2709810 / rank @@
+Normal rank
@@ Property / cites work @@
+On observational equivalence and algebraic specification
+Normal rank
@@ Property / cites work @@
+Q4499302
@@ Property / cites work: Q4499302 / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebras for Binary Methods: Properties of Bisimulations and Invariants
+Normal rank
@@ Property / cites work @@
+Greatest Bisimulations for Binary Methods
@@ Property / cites work: Greatest Bisimulations for Binary Methods / rank @@
+Normal rank