On the Integration of Observability and Reachability Concepts-Reference-Cited by-同舟云学术

On the Integration of Observability and Reachability Concepts

Published:2002 Issue: Volume: Page:21-36
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bidoit Michel,Hennicker Rolf

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45931-6_3

Reference20 articles.

1. E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brückner, P.D. Mosses, D. Sannella, and A. Tarlecki. Casl: The Common Algebraic Specification Language. Theoretical Computer Science, 2002. To appear.

2. E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner, editors. Algebraic Foundations of Systems Specification. Springer, 1999.

3. M. Bidoit and R. Hennicker. Observer complete definitions are behaviourally coherent. In Proc. OBJ/CafeOBJ/Maude Workshop at FM’99, pages 83–94. THETA, 1999. http://www.lsv.ens-cachan.fr/Publis/PAPERS/CafeOBJ.ps .

4. M. Bidoit and R. Hennicker. On the integration ofobserv ability and reachability concepts. Research Report LSV-02-2, 2002. Long version ofthis paper. http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/rr-lsv-2002-2.rr.ps .

5. Lect Notes Comput Sci;M. Bidoit,2001

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

1. Saturated models in institutions;Archive for Mathematical Logic;2010-06-23

2. Casl — the Common Algebraic Specification Language;Logics of Specification Languages;2007-12-05

3. Abstract Beth definability in institutions;Journal of Symbolic Logic;2006-09

4. Jewels of Institution-Independent Model Theory;Algebra, Meaning, and Computation;2006

5. Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems;Recent Trends in Algebraic Development Techniques;2005