Towards a design calculus for communicating programs-Reference-Cited by-同舟云学术

Towards a design calculus for communicating programs

Published:1991 Issue: Volume: Page:61-77
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Olderog Ernst-Rüdiger

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-54430-5_81.pdf

Reference22 articles.

1. D. Bjørner, A ProCoS project description, ESPRIT BRA 3104, Bulletin of the EATCS 39 (1989) 60–73.

2. R.H. Campbell, A.N. Habermann, The specification of process synchronisation by path expressions, Lecture Notes in Comput. Sci. 16 (Springer-Verlag, 1974).

3. He Jifeng, Specification-oriented semantics for the ProCoS level 0 language, ProCoS Doc. Id. PRG/OU HJF 5/1, Oxford Univ., 1990.

4. He Jifeng, Specification-oriented semantics for the ProCoS programming language PLtime, ProCoS Doc. Id. PRG/OU HJF 7/2, Oxford Univ., 1991.

5. E.C.R. Hehner, Predicative programming, Comm. ACM 27 (2), 1984.

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

1. Incremental development of deadlock-free communicating systems;Tools and Algorithms for the Construction and Analysis of Systems;1997

2. Formalizing requirements for distributed systems with trace diagrams;FME '97: Industrial Applications and Strengthened Foundations of Formal Methods;1997

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

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

5. Specifying and verifying parametric processes;Mathematical Foundations of Computer Science 1996;1996