Searching for "Communicating Sequential Processes" – sorted by Relevance.
849 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
