Searching for "Communicating Sequential Processes" – sorted by Relevance.
-
Communicating Sequential Processes
- Communicating Sequential Processes C. A. R. Hoare June 21, 2004 © C. A. R. Hoare, 1985
- Cited by 2757 (15 self) – Add To MetaCart
-
Communicating Sequential Processes
- Programming Teclmiques S. L. Graham, R. L. Rivest Editors Communicating Sequential Processes C
- Add To MetaCart
-
Communicating Sequential Processes
- CHAPTER TEN COMMUNICATING SEQUENTIAL PROCESSES C.A.R. Hoare's Communicating Sequential Processes
- Add To MetaCart
-
Optimistic Parallelization of Communicating Sequential Processes
- Optimistic Parallelization of Communicating Sequential Processes David F. Bacon, University
- Cited by 21 (4 self) – Add To MetaCart
-
Termination detection of diffusing computations in communicating sequential processes
- Termination Detection of Diffusing Computations in Communicating Sequential Processes JAYADEV
- Cited by 17 (5 self) – Add To MetaCart
-
A Timed Model for Communicating Sequential Processes
- A Timed Model for Communicating Sequential Processes I. Introduction. G. M. Reed and A. W. Roscoe
- Cited by 132 (7 self) – Add To MetaCart
-
A Proof Theory of Asynchronously Communicating Sequential Processes
- A Proof Theory of Asynchronously Communicating Sequential Processes ES. de Boer, N. Francez, M
- Add To MetaCart
-
A Singleton Failures Semantics for Communicating Sequential Processes
- failures semantic model the process corresponding to the parallel combination of two communicating data
- Cited by 5 (0 self) – Add To MetaCart
-
Sequencing Constraints SSDL Protocol Framework
- @(email omitted);, Jim@(email omitted); The Communicating Sequential Processes (CSP) SSDL Protocol Framework defines a
- Cited by 3 (3 self) – Add To MetaCart
-
How Programmable is Reconfigurable Hardware?: A Design Model for Reconfigurable Architectures
- development support by proposing a system-level asynchronous model, based on CSP (Communicating Sequential
- Add To MetaCart

