C.A.R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, 1985. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Knowledge, State, Event and Time in System Modeling -.. - Dong, Duke, Sun (2006) (Correct)
No context found.
C.A.R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, 1985.
Generating MSCs from an Integrated Formal - Specification Language Jin (Correct)
No context found.
C.A.R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, 1985.
Model Checking Live Sequence Charts - Jun Sun And (Correct)
No context found.
C.A.R. Hoare. Communicating Sequential Processes.Inter- national Series in Computer Science. Prentice-Hall, 1985.
A Reasoning Tool for Timed CSP based on Constraint Solving - Jin Song Dong (Correct)
No context found.
C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, 1985.
Polynomial Fairness and Liveness - Michael Backes Birgit (2002) (5 citations) (Correct)
No context found.
C. A. R. Hoare. Communicating sequential processes. International Series in Computer Science, Prentice Hall, Hemel Hempstead 1985.
Unifying Simulatability Definitions in Cryptographic Systems.. - Backes (2003) (2 citations) (Correct)
No context found.
C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science, Prentice Hall, Hemel Hempstead, 1985.
Deriving Cryptographically Sound Implementations Using.. - Backes, Jacobi.. (2002) (8 citations) (Correct)
No context found.
C. A. R. Hoare. Communicating sequential processes. International Series in Computer Science, Prentice Hall, Hemel Hempstead 1985.
Cryptographically Sound Analysis of Security Protocols - Backes (2002) (7 citations) (Correct)
No context found.
C. A. R. Hoare. Communicating sequential processes. International Series in Computer Science, Prentice Hall, Hemel Hempstead 1985.
Software Verification Research Centre - School Of Information (1995) (4 citations) (Correct)
No context found.
C.A.R. Hoare. Communication Sequential Processes. International Series in Computer Science, Prentice Hall, 1985.
Polynomial Liveness - Backes, Pfitzmann, Waidner, Steiner (2003) (Correct)
No context found.
C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice Hall, Hemel Hempstead, 1985.
Computational Probabilistic Non-Interference - Backes, Pfitzmann (2002) (9 citations) (Correct)
No context found.
C. A. R. Hoare. Communicating sequential processes. International Series in Computer Science, Prentice Hall, Hemel Hempstead 1985.
A General Composition Theorem for Secure Reactive Systems - Backes, Pfitzmann, Waidner (2004) (25 citations) (Correct)
No context found.
C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science, Prentice Hall, Hemel Hempstead, 1985.
Security in Business Process Engineering - Backes, Pfitzmann, Waidner (2003) (Correct)
No context found.
C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science, Prentice Hall, Hemel Hempstead, 1985.
Formal Methods in Robotics: Fault Tree Based Verification - Lankenau, Meyer (1999) (Correct)
No context found.
Hoare, C. A. R.: Communicating Sequential Processes. International Series in Computer Science, Prentice Hall (1985)
Using Genetic Programming to Generate Protocol Adaptors.. - Van Belle, Mens, D'Hondt (2003) (Correct)
No context found.
Hoare, C.: Communicating Sequential Processes. International Series in Computer Science. Prentice Hall (1985)
Algebraic Process Verification - Groote, Reniers (5 citations) (Correct)
No context found.
C.A.R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall International, 1985.
Unknown - Cation For Java's (Correct)
No context found.
C. A. R. Hoare and C. B. Jones, editors. Essays in Computing Science. International Series in Computer Science. Prentice Hall, 1989.
Unifying Simulatability Definitions in Cryptographic Systems.. - Backes (2003) (2 citations) (Correct)
No context found.
C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science, Prentice Hall, Hemel Hempstead, 1985.
Security in Business Process Engineering - Backes, Pfitzmann, Waidner (2003) (Correct)
No context found.
C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science, Prentice Hall, Hemel Hempstead, 1985.
Polynomial Fairness and Liveness - Backes, Pfitzmann, Steiner, Waidner (2002) (5 citations) (Correct)
No context found.
C. A. R. Hoare. Communicating sequential processes. International Series in Computer Science, Prentice Hall, Hemel Hempstead 1985.
Computational Probabilistic Non-Interference - Backes, Pfitzmann (2002) (9 citations) (Correct)
No context found.
C. A. R. Hoare. Communicating sequential processes. International Series in Computer Science, Prentice Hall, Hemel Hempstead 1985.
An Assertional Proof System for Multithreaded Java - Abraham, de Boer, de.. (2003) (Correct)
No context found.
C. A. R. Hoare and C. B. Jones, editors. Essays in Computing Science. International Series in Computer Science. Prentice Hall, 1989.
Intransitive Non-Interference for Cryptographic Purposes - Backes, Pfitzmann (2003) (2 citations) (Correct)
No context found.
C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science, Prentice Hall, Hemel Hempstead, 1985.
Polynomial Liveness - Backes, Pfitzmann, Waidner, Steiner (2003) (Correct)
No context found.
C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice Hall, Hemel Hempstead, 1985.
Secure Asynchronous Reactive Systems - Backes, Pfitzmann, Waidner (2004) (7 citations) (Correct)
No context found.
C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science, Prentice Hall, Hemel Hempstead, 1985.
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