Towards an adequate notion of observation-Reference-Cited by-同舟云学术

Towards an adequate notion of observation

Published:1992 Issue: Volume: Page:39-55
ISSN:0302-9743
Container-title:ESOP '92
language:
Short-container-title:

Author:

Bernot Gilles,Bidoit Michel,Knapik Teodor

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-55253-7_3.pdf

Reference18 articles.

1. Bernot G., Bidoit M. Proving the correctness of algebraically specified software: Modularity and Observability issues Proceedings of International Conference AMAST, Iowa City, 1991, 139–161

2. Bernot G., Bidoit M., Knapik T. Observational Approaches in Algebraic Specifications: a Comparative Study Report LIENS-91-6, 1991

3. Bergstra J.A., Tucker J.V. Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems. SIAM Journal of Computing, vol 12 (1983), 366–387

4. van Dieppen N.W.P. Implementation of Modular Algebraic Specifications (Ganzinger H. ed.) ESOP 88, Nancy, March 1988, LNCS 300, 64–78

5. Ehrig H., Mahr B. Fundamentals of Algebraic Specifications ETACS Monographs on Theoretical Computer Science, Vol 6, Springer-Verlag, 1985

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards Behavioral Maude;Electronic Notes in Theoretical Computer Science;2002-10

2. Institution Morphisms;Formal Aspects of Computing;2002-07

3. Proving behavioural theorems with standard first-order logic;Algebraic and Logic Programming;1994

4. How to Prove Observational Theorems with LP;Workshops in Computing;1993

5. Specifications with observable formulae and observational satisfaction relation;Recent Trends in Data Type Specification;1993