231 citations found. Retrieving documents...
S.D. Brookes, C.A.R. Hoare and A.W. Roscoe, A theory of communicating sequential processes, Journal of the ACM 31, 1984, pp. 560-599.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents  Next 50

Process Algebra with Feedback - Baeten Bergstra Gh   (Correct)

No context found.

S.D. Brookes, C.A.R. Hoare and A.W. Roscoe, A theory of communicating sequential processes, Journal of the ACM 31, 1984, pp. 560-599.


Secure Composition of Untrusted Code: Wrappers and Causality.. - Sewell, Vitek (1999)   (18 citations)  (Correct)

No context found.

S.D. Brookes, C.A.R. Hoare, and A.W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560599, 1984.


Modeling Component Connectors in Reo by Constraint Automata - Baier, Sirjani, Arbab.. (2004)   (Correct)

No context found.

S. D. Brookes, C. A. R. Hoare, and A. W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560--599, July 1984.


Process Algebra for Agent Communication: - General Semantic Approach   (Correct)

No context found.

S.D. Brookes, C.A.R. Hoare, and W. Roscoe. A theory of communicating sequential processes. Journal of ACM, 31:499--560, 1984.


Transition systems, link graphs and Petri nets - Leifer, Milner (2004)   (2 citations)  (Correct)

No context found.

Brookes, S.D., Hoare, C.A.R. and Roscoe, A.W. (1984), A theory of communicating sequential processes. J. ACM 31, pp560--599.


Component Based Testing with ioco - van der Bijl, Rensink, Tretmans (2003)   (Correct)

No context found.

S. D. Brookes, C. A. R. Hoare, and A. W. Roscoe. A theory of communicating sequential processes. Journal of the Association for Computing Machinery, 31(3):560--599, July 1984.


Measuring Concurrency in CCS - Galpin   (Correct)

No context found.

S. Brookes, C. Hoare, and A. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3), 560--599, July 1984.


Denotational Semantics for Asynchronous Concurrent Languages - Nyström (1996)   (Correct)

No context found.

S. D. Brookes, C. A. R. Hoare, and A. W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560--599, 1984.


An Object-Oriented Approach to Formal Specification - Smith (1992)   (13 citations)  (Correct)

No context found.

S.D. Brookes, C.A.R. Hoare, and A.W. Roscoe. A theory of communicating sequential processes. J. ACM, 31(7):560--599, 1984.


Compositional Testing with IOCO - Machiel Van Der   (Correct)

No context found.

S. D. Brookes, C. A. R. Hoare, and A. W. Roscoe. A theory of communicating sequential processes. Journal of the Association for Computing Machinery, 31(3):560--599, July 1984.


Termination and Confluence of Term Rewrite Systems for GSOS.. - Ulidowski   (Correct)

No context found.

S.D. Brookes, C.A.R. Hoare, and W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31:560-599, 1984.


Foundations of a Module Concept for Distributed Object Systems - Filipe (2000)   (1 citation)  (Correct)

No context found.

S. Brookes, C.A.R. Hoare, and A. Roscoe. A Theory of Communicating Sequential Processes. Journal of the ACM, 31(3):560-- 599, 1984.


Compositional Testing with IOCO - van der Bijl, Rensink, Tretmans (2003)   (1 citation)  (Correct)

No context found.

Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. Journal of the Association for Computing Machinery 31 (1984) 560--599


Probabilistic Automata: System Types, Parallel Composition.. - Sokolova, de Vink   (Correct)

No context found.

S.D. Brookes, C.A.R. Hoare, and A.W. Roscoe, A theory of communicating sequential processes, Journal of the ACM 31 (1984), 560--599.


Metric Semantics for Reactive Probabilistic Processes - Norman (1997)   (7 citations)  (Correct)

No context found.

S.D. Brookes, C.A.R. Hoare and A.W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560-599, 1984.


Bigraphs and Mobile Processes - Jensen, Milner (2003)   (7 citations)  (Correct)

No context found.

Brookes, S.D., Hoare, C.A.R. and Roscoe, A.W. (1984), A theory of communicating sequential processes. J. ACM 31, pp560--599.


A Fully Abstract Metric-Space Denotational Semantics for.. - Kwiatkowska, Norman (1998)   (3 citations)  (Correct)

No context found.

S.D. Brookes, C.A.R. Hoare and A.W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560-599, 1984.


Software Verification for Programmable Logic Controllers - Huuck (2003)   (Correct)

No context found.

S.D. Brookes, C.A.R. Hoare, and A.W. Roscoe. A theory of communicating sequential processes. Communications of the ACM, 31(3):560--599, 1984.


Decidability and Complexity Issues for Infinite-State Processes - Srba (2003)   (Correct)

No context found.

S. Brookes, C. Hoare, and A. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560--599, 1984.


Specification, Refinement and Verification of Concurrent - Systems An Integration (2001)   (Correct)

No context found.

S.D. Brookes, C.A.R. Hoare, and A.W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560--599, 1984.


Real Time Process Algebra With Time-Dependent Conditions - Baeten, Middelburg (2001)   (Correct)

No context found.

S.D. Brookes, C.A.R. Hoare, A.W. Roscoe, A theory of communicating sequential processes, Journal of the ACM 31 (1984) 560--599.


Equivalences on Observable Processes - Ulidowski (1992)   (10 citations)  (Correct)

No context found.

S.D. Brookes, C.A.R. Hoare, and W. Roscoe. A theory of communicating sequential processes. Journal of ACM, Vol. 31,, 1984.


Compositional Testing with IOCO - Machiel Van Der   (Correct)

No context found.

Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. Journal of the Association for Computing Machinery 31 (1984) 560--599


Bigraphs and Mobile Processes - Jensen, Milner (2004)   (7 citations)  (Correct)

No context found.

Brookes, S.D., Hoare, C.A.R. and Roscoe, A.W. (1984), A theory of communicating sequential processes. J. ACM 31, pp560--599.


From Concurrent Logic Programming to Concurrent Constraint .. - de Boer, Palamidessi (1993)   (6 citations)  (Correct)

No context found.

Brookes, S., Hoare, C., and Roscoe, W. (1984). A theory of communicating sequential processes. Journal of ACM, 31:499--560.

First 50 documents  Next 50

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC