An Adequate Logic for Full LOTOS-Reference-Cited by-同舟云学术

An Adequate Logic for Full LOTOS

Published:2001 Issue: Volume: Page:384-395
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Calder Muffy,Maharaj Savi,Shankland Carron

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45251-6_21

Reference23 articles.

1. D. Amyot, L. Char et al. Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS. In M. Calder and E. Magill, editors, Feature Interactions in Telecommunications and Software Systems VI. IOS Press, May 2000.

2. H. Becht, A. Bloesch et al. Ergo 4.1 Reference Manual. Technical Report 96-31, Software Verification Research Centre, University of Queensland, Australia, November 1996

3. M. Calder, S. Maharaj, and C. Shankland. A Modal Logic for Early Symbolic Transition Systems. The Computer Journal, 2001. To appear.

4. M. Calder and C. Shankland. A Symbolic Semantics and Bisimulation for Full LOTOS. To appear as a University of Stirling Technical Report, 2000.

5. M. Clavel, F. Duran et al. Maude: Specification and Programming in Rewriting Logic. Maude System documentation. Computer Science Laboratory, SRI, Menlo Park, California, March 1999.

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

1. Symbolic Execution Techniques for Refinement Testing;Tests and Proofs;2007

2. Expressing Iterative Properties Logically in a Symbolic Setting;Algebraic Methodology and Software Technology;2004

3. Combating Infinite State Using Ergo;Formal Techniques for Networked and Distributed Systems - FORTE 2003;2003

4. Building Tools for LOTOS Symbolic Semantics in Maude;Formal Techniques for Networked and Distributed Sytems — FORTE 2002;2002

5. Implementing a Modal Logic Over Data and Processes Using XTL;Formal Techniques for Networked and Distributed Systems