Looking for results similar to:
Found 964 results
sorted by:
Pages: 1 2 3 ... 97
C. A. R. Hoare : Communicating Sequential Processes (Reprint). Commun. ACM (CACM) 26(1):100-106 (1983)
Stephen D. Brookes, C. A. R. Hoare, A. W. Roscoe : A Theory of Communicating Sequential Processes. J. ACM (JACM) 31(3):560-599 (1984)
Z. C. Chen, C. A. R. Hoare : Partial Correctness of Communicating Sequential Processes. ICDCS 1981
C. A. R. Hoare : A Calculus of Total Correctness for Communicating Processes. Sci. Comput. Program. (SCP) 1(1-2):49-72 (1981)
Eric C. R. Hehner, C. A. R. Hoare : A More Complete Model of Communicating Processes. Theor. Comput. Sci. (TCS) 26():105-120 (1983)
Ernst-Rüdiger Olderog, C. A. R. Hoare : Specification-Oriented Semantics for Communicating Processes. Acta Inf. (ACTA) 23(1):9-66 (1986)
Ernst-Rüdiger Olderog, C. A. R. Hoare : Specification-Oriented Semantics for Communicating Processes. ICALP 1983
A. Nico Habermann : Synchronization of Communicating Processes. Commun. ACM (CACM) 15(3):171-176 (1972)
(search: 0.240 sec. - facets: 0.806 sec.- similarity: 1.01 sec) (?)
Pages: 1 2 3 ... 97

Refine by VENUE:

show:

Refine by YEAR:

show:
[No canvas support]