Idealized CSP: Combining procedures with communicating processes

Electronic Notes in Theoretical Computer Science

Volumn 6, Issue , 1997, Pages 60-76

  Brookes, Stephen ^a  

^a Carnegie Mellon University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENT ENGINEERING; INTEGER PROGRAMMING; LINEAR ALGEBRA; MATHEMATICAL MODELS; PARALLEL PROCESSING SYSTEMS; SEMANTICS; SYNCHRONIZATION;

ABSTRACT MODELS; COMMUNICATION MECHANISMS; FUNCTIONAL PROGRAMMING; SEMANTIC MODELS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 18944399793     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80169-0     Document Type: Conference Paper

References (16)

1. Andrews Gregory R. "Concurrent Programming." The Benjamin/Cummings Publishing Company, Inc. 1991
2. Brinch, Hansen P. Concurrent programming concepts. ACM Computing Surveys. Vol. 5:(No. 4):December 1973;223-245
3. Brookes, Stephen. Full abstraction for a shared-variable parallel language. Information and Computation. Vol. 127:(No. 2):June 1996;145-163
4. Brookes, Stephen, The essence of Parallel Algol, Proc. 11th IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press (1996) 164 - 173.
5. Stephen Brookes. Fair communicating processes. In A. W. Roscoe, editor, "A Classical Mind: Essays in Honour of C. A. R. Hoare," Prentice-Hall International. 1994;59-74
6. Brookes, Stephen and Older, Susan, Full abstraction for strongly fair communicating processes, Electronic Notes in Theoretical Computer Science, URL: http://www.elsevier.nl/locate/entcs/volumel.html, 20 pages.
7. Dijkstra E.W. Cooperating sequential processes. Genuys F. "Programming Languages. 1968;43-112 Academic Press, New York
8. Hoare C.A.R. Communicating Sequential Processes. Comm. ACM. 21:(8):1978;666-677
9. Hoare C.A.R. Monitors: an operating system structuring concept. Comm. ACM. 17:(10):1974;549-557
10. Older, Susan, A Denotational Framework for Fair Communicating Processes, Ph.D. thesis, Carnegie Mellon University, (January 1997).
11. Lazic, Ranko and Roscoe, Bill, Using Logical Relations for Automated Verification of Data-independent CSP, Proc. Oxford Workshop on Automated Formal Methods (1996), to appear, ENTCS, Elsevier Science B. V.
12. O'Hearn P.W., Tennent R.D. Parametricity and local variables. J. ACM. 42:(3):May 1995;658-709
13. Oles, Frank. J., A Category-Theoretic Approach to the Semantics of Programming Languages, Ph.D. thesis, Syracuse University, 1982.
14. Park D. On the semantics of fair parallelism. Bjørner D. "Abstract Software Specifications," Springer-Verlag LNCS vol. 86:1979;504-526
15. Reynolds J.C. The essence of Algol. van Vliet, de Bakker. "Algorithmic Languages," 1981;345-372 North-Holland, Amsterdam
16. Tarski A. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics. 5:1955