447 citations found. Retrieving documents...
Robin Milner. Communication and Concurrency . Series in Computer Science. Prentice Hall International, 1989.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents  Next 50

Operation Refinement for VDM-like - Specifications Bettina Buth   (Correct)

No context found.

Robin Milner. Communication and Concurrency . Series in Computer Science. Prentice Hall International, 1989.


Two Finite Specifications of a Queue Marc Bezem - Alban Ponse Utrecht   (Correct)

No context found.

R. Milner. Communication and Concurrency. Prentice Hall International, 1989.


Process Algebra with Language Matching - Jos Van Wamel   (Correct)

No context found.

R. Milner. Communication and Concurrency. Prentice-Hall International, Englewood Cliffs, 1989.


Model Checking Agent Dialogues - Christopher Walton Centre   (Correct)

No context found.

R. Milner. Communication and Concurrency. Prentice-Hall International, 1989.


Synchronization in Massive Multiplayer - Online Games Stefano   (Correct)

No context found.

R. Milner. Communication and concurrency. Prentice Hall International (UK) Ltd., 1995.


Typed Protocols for Peer-to-Peer Service Composition - Christopher Walton Centre   (Correct)

No context found.

R. Milner. Communication and Concurrency. Prentice-Hall International, 1989.


Design Rules and Abstractions - From Branching And   (Correct)

No context found.

Robin Milner. Communication and Concurrency. Prentice Hall International, 1989.


On the Emergent Semantic Web and Overlooked Issues - Kalfoglou, Alani.. (2004)   (Correct)

No context found.

R. Milner. Communication and Concurrency. Prentice Hall International, 1989. ISBN: 0131150073.


Agent Protocols for Peer-to-Peer Architectures - Walton   (Correct)

No context found.

R. Milner. Communication and Concurrency. Prentice-Hall International, 1989.


A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1998)   (353 citations)  (Correct)

No context found.

R. Milner. Communication and Concurrency. Prentice-Hall International, 1989.


Exploring Properties of a Bounded Retransmission Protocol.. - Meolic, Kapus, Brezocnik (1999)   (Correct)

No context found.

R. MILNER, Communication and Concurrency, Prentice-Hall International, 1989.


Ecient Veri - Cation Of Sequential   (Correct)

No context found.

R. Milner. Communication and Concurrency. Prentice-Hall International, London, 1989.


Process Communication Environment - Damas Gruska Andrea (1993)   (Correct)

No context found.

R. Milner. Communication and concurrency. Prentice-Hall International, New York,1989.


Shared Processors versus Shared Networks - Gruska   (Correct)

No context found.

R. Milner. Communication and concurrency. Prentice-Hall International, New York,1989. 10


Timed Process Description Languages Based on CCS - GRUSKA, MAGGIOLO-SCHETTINI (1991)   (Correct)

No context found.

R. Milner. Communication and concurrency. Prentice-Hall International, New York,1989.


Timed Network Semantics for Communicating Processes - Damas Gruska Andrea (1994)   (Correct)

No context found.

R. Milner. Communication and concurrency. Prentice-Hall International, New York,1989.


Bisimilarity is not Finitely Based over BPA with Interrupt - Aceto, Fokkink.. (2004)   (Correct)

No context found.

R. MILNER, Communication and Concurrency, Prentice-Hall International, Englewood Cliffs, 1989.


Proof Techniques for Cryptographic Processes - Boreale, De Nicola, Pugliese (1999)   (33 citations)  (Correct)

No context found.

R. Milner. Communication and Concurrency. Prentice Hall International, 1989.


A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1996)   (353 citations)  (Correct)

No context found.

R. Milner. Communication and Concurrency. Prentice-Hall International, 1989.


Reasoning about Side-Effect Free Erlang Code in a.. - Chugunov (2004)   (Correct)

No context found.

R. Milner. Communication and Concurrency. Prentice-Hall International (UK) Ltd., 1989.


Decision Algorithms for Probabilistic Bisimulation - Cattani, Segala (2002)   (2 citations)  (Correct)

No context found.

R. Milner. Communication and Concurrency. Prentice-Hall International, Englewood Cli s, 1989.


A Logical Framework For Reasoning About Logical Specifications - Tiu (2004)   (2 citations)  (Correct)

No context found.

Robin Milner. Communication and Concurrency. Prentice-Hall International, 1989.


Verification of Parallel Systems via Decomposition - Jan Friso Groote (1992)   (6 citations)  (Correct)

No context found.

R. Milner. Communication and Concurrency. Prentice-Hall International, 1989.


An Efficient Algorithm for Branching Bisimulation and.. - Groote, Vaandrager (1990)   (24 citations)  (Correct)

No context found.

R. Milner. Communication and concurrency. Prentice Hall International, 1989.


Escola de Engenharia - Largo Do Pa   (Correct)

No context found.

A. J. R. G. Milner. Communication and Concurrency. Series in Computer Science. Prentice-Hall International, 1989.

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