Author:
Hennicker Rolf,Kurz Alexander
Subject
General Computer Science,Theoretical Computer Science
Reference24 articles.
1. M. Bidoit and R. Hennicker. Proving behavioural theorems with standard first order logic. In G. Levi and M. Rodriguez-Artalejo, editors, Proc. Algebraic and Logic Programming, 4th International Conference, ALP '94, Madrid, September 1994, volume 850 of LNCS, pages 41–58, Berlin, 1994. Springer.
2. Behavioural theories and the proof of behavioural properties;Bidoit;Theoretical Computer Science,1996
3. Modular correctness proofs of behavioural implementations;Bidoit;Acta Informatica,1998
4. Behavioural and abstractor specifications;Bidoit;Science of Computer Programming,1995
5. R. Diaconescu. Behavioural coherence in object-oriented algebraic specification. Technical Report IS-RR-98-0017F, Japan Advanced Institute for Science and Technology, 1998.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Coalgebraic description of generalised binary methods;Mathematical Structures in Computer Science;2007-08
2. Towards Behavioral Maude;Electronic Notes in Theoretical Computer Science;2002-10
3. On the Duality between Observability and Reachability;Lecture Notes in Computer Science;2001
4. Algebra-Coalgebra Structures and Bialgebras;Recent Trends in Algebraic Development Techniques;2000
5. On Corelations, Cokernels, and Coequations;Electronic Notes in Theoretical Computer Science;2000