Faithful Translations Among Models and Specifications-Reference-Cited by-同舟云学术

Faithful Translations Among Models and Specifications

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

Author:

Katz Shmuel

Publisher

Springer Berlin Heidelberg

Link

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

Reference33 articles.

1. K. R. Apt, N. Francez, and S. Katz. Appraising fairness in languages for distributed programming. Distributed Computing, 2:226–241, 1988.

2. Saddek Bensalem, Vijay Ganesh, Yassine Lakhnech, César Muñoz, Sam Owre, Harald Rueß, John Rushby, Vlad Rusu, Hassen Saïdi, N. Shankar, Eli Singerman, and Ashish Tiwari. An overview of SAL. In C. Michael Holloway, editor, LFM 2000: Fifth NASA Langley Formal Methods Workshop, pages 187–196, Hampton, VA, June 2000. Available at http://shemesh.larc.nasa.gov/fm/Lfm2000/Proc/ .

3. Technical Report STAN-CS-TR-95-1562;N. Bjorner,1995

4. T. Bolognesi and E. Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14:25–59, 1987.

5. T. Bolognesi, J.v.d. Legemaat, and C.A. Vissars (eds.). LOTOSphere: software development with LOTOS. Kluwer Academic Publishers, 1994.

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

1. A Proof Framework for Concurrent Programs;Lecture Notes in Computer Science;2012

2. Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving;Formal Methods for Industrial Critical Systems;2009

3. PiXL: Applying xml standards to support the integration of analysis tools for protocols;Science of Computer Programming;2007-03

4. VeriTech: a framework for translating among model description notations;International Journal on Software Tools for Technology Transfer;2006-07-11

5. Integration of Reliability and Performance Analyses for Active Network Services;Electronic Notes in Theoretical Computer Science;2005-05