Checking Amalgamability Conditions forCasl Architectural Specifications-Reference-Cited by-同舟云学术

Checking Amalgamability Conditions forCasl Architectural Specifications

Published:2001 Issue: Volume: Page:451-463
ISSN:0302-9743
Container-title:Mathematical Foundations of Computer Science 2001
language:
Short-container-title:

Author:

Klin Bartek,Hoffman Piotr,Tarlecki Andrzej,Schröder Lutz,Mossakowski Till

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44683-4_40

Reference12 articles.

1. M. Bednarczyk, M. Borzyszkowski, and W. Pawłowski. Generalized congruences-epimorphisms in Cat. Theory and Applications of Categories 5 (1999), 266–280.

2. Lect Notes Comput Sci;M. Bidoit,1999

3. CoFI Semantics Task Group. Casl-The CoFI Algebraic Specification Language-Semantics. Note S-9 (v. 0.96), July 1999. Accessible by WWW2 and FTP3.

4. CoFI Language Design Task Group. Casl-The CoFI Algebraic Specification Language-Summary, version 1.0.1, June 2000. Accessible by WWW2 and FTP3.

5. M. Davis. Unsolvable Problems. in: J. Barwise (ed.), Handbook of Mathematical Logic, North Holland, Amsterdam, 1977.

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

1. Global Development via Local Observational Construction Steps;Lecture Notes in Computer Science;2002

2. Verifying Architectural Specifications;Recent Trends in Algebraic Development Techniques;2002

3. The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress;Recent Trends in Algebraic Development Techniques;2002

4. Institution Independent Static Analysis for Casl;Recent Trends in Algebraic Development Techniques;2002