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