( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Communicating Sequential Processes

. Prentice-Hall International Series in Computer Science Prentice-Hall International, Englewood Cliffs, New Jersey, (1985)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

R. A. A. Bowler

C R Jacob

C A Knorr

Mahmut Çag r c

J R C Cousland

 

Другие публикации лиц с тем же именем

An Axiomatic Basis for Computer Programming (Reprint).. Software Pioneers, Springer Berlin Heidelberg, (2002)The Elliott ALGOL input/output system.. Comput. J., 5 (4): 345-348 (1963)Workshop on Analysis of Concurrent Systems Attempt at Problem 10: The Matrix Switch.. The Analysis of Concurrent Systems, том 207 из Lecture Notes in Computer Science, стр. 132-133. Springer, (1983)From Algebra to Operational Semantics., и . Inf. Process. Lett., 45 (2): 75-80 (1993)The Weakest Prespecification., и . Inf. Process. Lett., 24 (2): 127-132 (1987)Algebra of Logic Programming., , и . ICLP, стр. 184-199. MIT Press, (1999)Pre-Adjunctions in Order Enriched Categories., , и . Math. Struct. Comput. Sci., 1 (2): 141-158 (1991)The verifying compiler: A grand challenge for computing research.. J. ACM, 50 (1): 63-69 (2003)The laws of OCCAM programming, и . Theoretical Computer Science, 60 (2): 177--229 (сентября 1988)An axiomatic definition of the programming language PASCAL, и . Acta Informatica, 2 (4): 335--355 (декабря 1973)