Concepedia
Theoretical Computer Science · 1995 · 11 citations · 6 references
ComputingComputer SciencePhysicsFormal MethodsEquivalence CheckingEquivalence PrincipleModel TheoryStatistical InferenceBehavioral EquivalenceComputational IndistinguishabilityObservational EquivalenceObservational MethodologyWitness Indistinguishability
6
Institutions: abstract model theory for specification and programming
Joseph A. Goguen, R. M. Burstall · Journal of the ACM · 1992 · 988 citations · Full text
Computing, Computer Science, Formal Methods +13
A Kernel Language for Algebraic Specification and Implementation.
Donald Sannella, Martin Wirsing · Annals of Telecommunications · 1983 · 156 citations
Computing, Computer Engineering, Computer Science +14
On observational equivalence and algebraic specification
Donald Sannella, Andrzej Tarlecki · Journal of Computer and System Sciences · 1987 · 121 citations
Computing, Computer Science, Computer Systems +10
Final Data Types and Their Specification
Samuel Kamin · ACM Transactions on Programming Languages and Systems · 1983 · 79 citations · Full text
Computing, Information Systems, Access Management +4
Context induction: A proof principle for behavioural abstractions and algebraic implementations
Rolf Hennicker · Formal Aspects of Computing · 1991 · 63 citations · Full text
Computing, Computer Science, Formal Methods +11