State-Based Extension of CASL-Reference-Cited by-同舟云学术

State-Based Extension of CASL

Published:2000 Issue: Volume: Page:3-24
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Baumeister Hubert,Zamulin Alexandre

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-40911-4_2

Reference20 articles.

1. E. Astesiano and E. Zucca. A semantic model for dynamic systems. In Modeling Database Dynamics, Workshops in Computing, pages 63–83, Volkse 1992, 1993. Springer.

2. E. Astesiano and E. Zucca. D-oids: a model for dynamic data types. Mathematical Structures in Computer Science, 5(2):257–282, June 1995.

3. Lect Notes Comput Sci;H. Baumeister,1995

4. H. Baumeister. Using algebraic specification languages for model-oriented spe-cifications. Tech. report MPI-I-96-2-003, Max-Planck-Institut für Informatik, Saarbrücken, February 1996.

5. H. Baumeister. Relations between Abstract Datatypes modeled as Abstract Dataty-pes. PhD thesis, Universität des Saarlandes, Saarbrücken, November 1998.

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

1. An Institution for Imperative RSL Specifications;Specification, Algebra, and Software;2014

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

3. DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications;Algebraic Methodology and Software Technology;2006

4. Multi-paradigm Models as Source for Automated Test Construction;Electronic Notes in Theoretical Computer Science;2005-01

5. Architectural Specifications for Reactive Systems;Recent Trends in Algebraic Development Techniques;2005