On automatic and interactive design of communicating systems-Reference-Cited by-同舟云学术

On automatic and interactive design of communicating systems

Published:1995 Issue: Volume: Page:216-237
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Bohn Jürgen,Rössig Stephan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60630-0_11.pdf

Reference16 articles.

1. R.J.R. Back. Refinement calculus, Part II: Parallel and Reactive Programs. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems — Models, Formalisrns, Correctness, LNCS 430, pages 67–93. Springer-Verlag, 1990.

2. J. Bohn and H. Hungar. Traverdi — Transformation and Verification of Distributed Systems. In M. Broy and S. Jänichen, editors, KORSO Correct Software by Formal Methods, LNCS. Springer-Verlag, 1995. to appear.

3. J. Bohn and S. Rössig. Towards a design assistant for communicating systems. ProCoS Doc. Id. OLD JB 2/1, Univ. Oldenburg — FB Informatik, 1995. URL: ftp://ftp.informatik.uni-oldenburg.de/pub/procos/JB-2-1.ps.z

4. K.M. Chandy and J. Misra. Parallel Program Design — A Foundation. Addison-Wesley, 1988.

5. M. Francis, S. Finn, R.B. Hughes, and E. Mayger. LAMBDA Version 4.3, Documentation Set. Abstract Hardware Limited, London, 1993.

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

1. A strategic approach to transformational design;FME'96: Industrial Benefit and Advances in Formal Methods;1996

2. The incremental development of correct specifications for distributed systems;FME'96: Industrial Benefit and Advances in Formal Methods;1996