CASL: From Semantics to Tools-Reference-Cited by-同舟云学术

CASL: From Semantics to Tools

Published:2000 Issue: Volume: Page:93-108
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Mossakowski Till

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46419-0_8

Reference27 articles.

1. A. Aasa. Precedences in specifications and implementations of programming languages. Theoretical Computer Science, 142(1):3–26, May 1995. 98

2. D. Baillie. Proving theorems about CASL specifications. Talk at the 14th Workshop on Algebraic Development Techniques, Bonas, France, September 1999. 97, 102

3. M. Brand, H. Jong, P. Klint, and P. Olivier. Efficient Annotated Terms. Technical report, CWI, 1999. Accepted by SPE. 97

4. Lect Notes Comput Sci;M. Cerioli,1997

5. M. Cerioli and J. Meseguer. May I borrow your logic? (transporting logical structures along maps). Theoretical Computer Science, 173:311–347, 1997. 99

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

1. CSP-CASL—A new integration of process algebra and algebraic specification;Theoretical Computer Science;2006-03

2. Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions;Geographic Information Science;2006

3. Formal Software Development in MAYA;Lecture Notes in Computer Science;2005

4. Towards MultiMedia Instruction in Safe and Secure Systems;Lecture Notes in Computer Science;2005

5. CCC – The Casl Consistency Checker;Recent Trends in Algebraic Development Techniques;2005