E. W. Dijkstra. Cooperating sequential processes. Technological University, Eindhoven, The Netherlands, 1965. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
High Performance Software Architectures: - Connector-Oriented Approach David (Correct)
No context found.
E. W. Dijkstra. Cooperating sequential processes. Technological University, Eindhoven, The Netherlands, 1965.
Kodkod for Alloy Users - Emina Torlak And (Correct)
No context found.
E. W. Dijkstra. Cooperating sequential processes. In F. Genuys, editor, Programming Languages, pages 43--112. Academic Press, New York, 1968.
Exploiting Linearizability in Program Logics" has been - Superseded By The (Correct)
No context found.
E. W. Dijkstra. Cooperating sequential processes. In F. Genuys, editor, Programming Languages, pages 43--112. Academic Press, 1968. Reprinted in [3].
Permission Accounting in Separation Logic - Richard Bornat School (2005) (1 citation) (Correct)
No context found.
E. W. Dijkstra. Cooperating sequential processes. In F. Genuys, editor, Programming Languages, pages 43--112. Academic Press, 1968. Reprinted in [5].
Prototyping Concurrent Systems in Cw - Nuno Rodrigues Lus (Correct)
No context found.
E. W. Dijkstra. Cooperating sequential processes. pages 65--138, 2002.
Resources, Concurrency and Local Reasoning - O'Hearn (2005) (Correct)
No context found.
E. W. Dijkstra. Cooperating sequential processes. In F. Genuys, editor, Programming Languages, pages 43--112. Academic Press, 1968. Reprinted in [11].
Observations Et Analyses Quantitatives Multi-Niveaux.. - Ottogalli (2001) (Correct)
No context found.
DIJKSTRA, E. W. Cooperating sequential processes . Rapport Technique EWD-123, Technological University, Eindhoven, the Netherlands.
Assessing the Future of Smart Card Operating Systems - Deville, Galland, Grimaud.. (Correct)
No context found.
Edsger W. Dijkstra. Cooperating sequential processes. In F. Genuys, editor, Programming Languages: NATO Advanced Study Institute, pages 43--112. Academic Press, 1968.
Denotational Semantics for Asynchronous Concurrent Languages - Nyström (1996) (Correct)
No context found.
E. W. Dijkstra. Co-operating sequential processes. In F. Genuys, editor, Programming Languages, pages 43--112. Academic Press, New York, 1968.
A Semantics for Concurrent Separation Logic - Brookes (2004) (6 citations) (Correct)
No context found.
E. W. Dijkstra. Cooperating sequential processes. In: Programming Languages, F. Genuys (editor), pp. 43-112. Academic Press, 1968.
Dining Philosophers with Crash Locality 1 - Scott Pike The (2004) (Correct)
No context found.
Edsger W. Dijkstra, "Co-operating sequential processes," in Programming Languages, F. Genuys, Ed., pp. 43--112. Academic Press, 1968.
Progress with Java threads - As Dining Philosophers (Correct)
No context found.
Dijkstra, E.W.: Co-operating sequential processes. In: F. Genuys (ed.): Programming Languages (NATO Advanced Study Institute). Academic Press, London etc. 1968, pp. 43--112.
Supporting Increment and Decrement Operations in.. - Aiello, Busch.. (2000) (1 citation) (Correct)
No context found.
E. W. Dijkstra. Cooperating sequential processes. In Programming Languages, pages 43-112. Academic Press, 1968.
Permission Accounting in Separation Logic (Extended.. - Bornat, Calcagno.. (Correct)
No context found.
E. W. Dijkstra. Cooperating sequential processes. In F. Genuys, editor, Programming Languages, pages 43--112. Academic Press, 1968. Reprinted in [4].
Avoiding Blocking System Calls in a User-Level Thread Scheduler.. - Borg (2001) (2 citations) (Correct)
No context found.
E. W. Dijkstra. Cooperating sequential processes. In F. Genyus (ed.), Programming Languages, Academic Press. 1967.
Effective Visualisation for Comprehending Object-Oriented.. - Pacione (2004) (Correct)
No context found.
Dijkstra E W, `Cooperating sequential processes' in Genuys F (ed.), Programming Languages, New York, NY: Academic Press, 1968
On The Detection of Synchronization Errors - Harris (2004) (Correct)
No context found.
Dijkstra EW (1968) Cooperating Sequential Processes, Programming Languages 43-112
Semantics Of Semaphores - Rönn (1998) (Correct)
No context found.
E.W. Dijkstra, Co-operating sequential processes, in: F. Genuys, ed., Programming Languages (Academic Press, London New York, 1968) 43{ 112.
Spatial Computation - Budiu (2003) (Correct)
No context found.
E. W. Dijkstra. Cooperating sequential processes. Technical Report EWD-123, Technical University, Eindhoven, the Netherlands, 1965.
Model Checker Aided Design of a Controller for a Wafer .. - Hendriks, van den.. (Correct)
No context found.
E. W. Dijkstra. Cooperating sequential processes. Technical report, Eindhoven University of Technology, The Netherlands, 1965.
Unknown - Uttel Nestmann Eds (Correct)
No context found.
E.W. Dijkstra. Cooperating Sequential Processes. In F. Genus, editor, , pages 43--112. Academic Press, London, 1968.
Principled Assuredly Trustworthy Composable Architectures - Neumann (2004) (2 citations) (Correct)
No context found.
E.W. Dijkstra. Co-operating sequential processes. In Programming Languages, F. Genuys (editor), pages 43-112. Academic Press, 1968.
Resources, Concurrency and Local Reasoning - O'Hearn (Correct)
No context found.
E. W. Dijkstra. Cooperating sequential processes. In F. Genuys, editor, Programming Languages, pages 43--112. Academic Press, 1968. Reprinted in [3].
Efficient Computer-Aided Verification of Parallel and Distributed .. - Mäkelä (2003) (Correct)
No context found.
Edsger W. Dijkstra. Co-operating sequential processes. In F. Genuys, editor, Programming Languages, pages 43--112. Academic Press, New York, NY, USA, 1968.
Effective Visualisation for Comprehending Object-Oriented.. - Pacione (2004) (Correct)
No context found.
Dijkstra E W, `Cooperating sequential processes' in Genuys F (ed.), Programming Languages, New York, NY: Academic Press, 1968
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