A static analysis of CSP programs-Reference-Cited by-同舟云学术

A static analysis of CSP programs

Published:1984 Issue: Volume: Page:1-17
ISSN:0302-9743
Container-title:Logics of Programs
language:
Short-container-title:

Author:

Apt Krzysztof R.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-12896-4_351.pdf

Reference8 articles.

1. K.R. APT, N. FRANCEZ & W.P. DE ROEVER, A proof system for communicating sequential processes, TOPLAS, vol. 2, No 3, pp. 359–385, 1980.

2. E.W. DIJKSTRA, A correctness proof for communicating processes: a small exercise, in: E.W. Dijkstra, Selected writings on computing: a personal perspective, Springer Verlag, New York, pp. 259–263, 1982.

3. T. ELRAD & N. FRANCEZ, Decomposition of distributed programs into communication-closed layers, to appear in SCP.

4. C.A.R. HOARE, Communicating sequential processes, CACM, vol. 21, No 8, pp. 666–677, 1978.

5. C.A.R. HOARE, A model for communicating sequential processes, in: R.M. McKeag, A.M. McNaughton, Eds., On the construction of programs, Cambridge University Press, pp. 229–243, 1980.

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

1. A rigorous approach towards test case generation;Information Sciences;2008-11

2. Contextual local analysis in the design of distributed systems;Automated Software Engineering;1995-03

3. An algorithm for analyzing communicating processes;Lecture Notes in Computer Science;1992

4. Reasoning of real-time distributed programming languages;ACM SIGSOFT Software Engineering Notes;1989-05

5. Parallel algorithms and static analysis of parallel programs;Lecture Notes in Computer Science;1987