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