Author:
Schröder Lutz,Mossakowski Till,Tarlecki Andrzej
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. J. Adámek, H. Herrlich, and G. E. Strecker, Abstract and concrete categories, 2nd ed., Wiley Interscience, New York, 1990.
2. Lect Notes Comput Sci;D. Aspinall,1994
3. H. Baumeister, Relations between abstract datatypes modeled as abstract datatypes, Ph.D. thesis, Universität des Saarlandes, 1998.
4. M. Bidoit, M. V. Cengarle, and R. Hennicker, Proof systems for structured specifications and their refinements, Algebraic Foundations of Systems Specification (E. Astesiano et al., eds.), Springer, 1999, pp. 385–433.
5. F. Borceux, Handbook of categorical algebra 1, Cambridge, 1994.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Amalgamation in the semantics of CASL;Theoretical Computer Science;2005-02
2. Verifying Generative Casl Architectural Specifications;Recent Trends in Algebraic Development Techniques;2003
3. Verifying Architectural Specifications;Recent Trends in Algebraic Development Techniques;2002
4. Towards Trustworthy Specification I: Consistency Checks;Recent Trends in Algebraic Development Techniques;2002
5. Checking Amalgamability Conditions forCasl Architectural Specifications;Mathematical Foundations of Computer Science 2001;2001