Author:
Bidoit Michel,Hennicker Rolf
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Astesiano, E., Kreowski, H.-J., Krieg-Brückner, B. (eds.): Algebraic Foundations of Systems Specification. Springer, Heidelberg (1999)
2. Bidoit, M., Cengarle, M.-V., Hennicker, R.: Proof systems for structured specifications and their refinements. In: [1], ch. 11, pp. 385–433. Springer, Heidelberg (1999)
3. Bidoit, M., Hennicker, R.: Modular correctness proofs of behavioural implementations. Acta Informatica 35, 951–1005 (1998)
4. Bidoit, M., Hennicker, R.: Constructor-based observational logic. Journal of Logic and Algebraic Programming 67(1-2), 3–51 (2006), Preliminary version, available at
http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BID-HEN-JLAP.pdf
5. Bidoit, M., Hennicker, R.: Behavioural theories and the proof of behavioural properties. Theoretical Computer Science 165(1), 3–55 (1996)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Coalgebraic Perspective on Logical Interpretations;Studia Logica;2013-06-28
2. Generic constructions for behavioral specifications;Theoretical Computer Science;2012-01
3. Refinement via Interpretation;2009 Seventh IEEE International Conference on Software Engineering and Formal Methods;2009
4. Observational Refinement Process;Electronic Notes in Theoretical Computer Science;2008-06
5. Observational interpretation of Casl specifications;Mathematical Structures in Computer Science;2008-02-01