Author:
Bidoit Michel,Hennicker Rolf
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. M. Bidoit and R. Hennicker. Proving behavioural theorems with standard first-order logic. In Proc. of ALP'94, pages 41–58. Springer-Verlag L.N.C.S. 850, 1994.
2. M. Bidoit, R. Hennicker, and M. Wirsing. Behavioural and abstractor specifications. Technical Report LIENS-94-10, 1994. A short version appeared as: Characterizing behavioural semantics and abstractor semantics, in Proc. of ESOP'94, Springer-Verlag L.N.C.S. 788, pages 105–119, 1994.
3. H. Ehrig and B. Mahr. Fundamentals of algebraic specification 1. Equations and initial semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985.
4. J. Goguen and J. Meseguer. Universal realization, persistent interconnection and implementation of abstract modules. In Proc. of 9th ICALP, pages 265–281. Springer-Verlag L.N.C.S. 140, 1982.
5. R. Hennicker and M. Wirsing. Behavioural specifications. Proof and Computation, International Summer School Marktoberdorf 1993. Springer-Verlag, 1995.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Higher order quotients and their implementation in Isabelle HOL;Lecture Notes in Computer Science;1997
2. Behavioural specifications in type theory;Recent Trends in Data Type Specification;1996
3. Swinging data types;Recent Trends in Data Type Specification;1996
4. What is an Abstract Data Type, after all?;Recent Trends in Data Type Specification;1995
5. Proving the correctness of behavioural implementations;Algebraic Methodology and Software Technology;1995