1933 citations found. Only retrieving 1000 documents.
R. Milner, Communication and concurrency, Prentice Hall, 1989.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents  Next 50

Process Algebra with Feedback - Baeten Bergstra Gh   (Correct)

No context found.

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


Weak Bisimulation for Probabilistic Timed Automata - And Applications To   (Correct)

No context found.

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


Protocols for Web Service Invocation - Christopher Walton Centre   (Correct)

No context found.

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


Conformance and Interoperability in Open Enviroments - Baldoni, Baroglio..   (Correct)

No context found.

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


Models for Name-Passing Processes: Interleaving and Causal.. - Cattani, Sewell (2000)   (4 citations)  (Correct)

No context found.

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


Action Planning for Graph Transition Systems - Edelkamp, Jabbar, al. (2005)   (Correct)

No context found.

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


Math. Struct. in Comp. Science (2004), vol. 14, pp.. - Cambridge University Press   (Correct)

No context found.

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


Abstraction-based Model Checking - Using Modal Transition   (Correct)

No context found.

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


Under consideration for publication in Math. Struct. in.. - Axioms For Bigraphical   (Correct)

No context found.

Milner, R. (1989), Communication and Concurrency. Prentice Hall.


Secure XML Querying with Security Views - Fan, Chan, Garofalakis (2004)   (4 citations)  (Correct)

No context found.

R. Milner. "Communication and Concurrency". Prentice Hall (Intl. Series in Computer Science), 1989.


Equivalence Notions and Model Minimization in - Markov Decision Processes   (Correct)

No context found.

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


Higher-Order Rewriting with Dependent Types - Virga (1999)   (24 citations)  (Correct)

No context found.

Robin Milner. Communication and Concurrency. Prentice Hall, New York, 1989.


Simulation for Continuous-Time Markov Chains - Baier, Katoen, Hermanns.. (2002)   (4 citations)  (Correct)

No context found.

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


A Validation Method Adapted to Dynamic Service Composition - Floch, Bræk (2002)   (Correct)

No context found.

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


Using The Event Calculus For Tracking The Normative State.. - Farrell, Sergot, Al.   (Correct)

No context found.

Robin Milner. Communication and Concurrency (ISBN: 0-13-115007-3). PrenticeHall, 1989.


Towards PaP Services: Design and Validation Issues - Floch, Bræk (2002)   (Correct)

No context found.

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


JACK: A process algebra implementation in Java - Freitas (2002)   (Correct)

No context found.

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


A Better Way to Design - Communication Protocols Friedger   (Correct)

No context found.

R. Milner. Communication and Concurrency. Prentice Hall, New York, 1989.


Probabilistic Weak Simulation is Decidable in Polynomial Time - Baier, Hermanns, Katoen (2004)   (Correct)

No context found.

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


Compositional Reasoning for Probabilistic Finite-State.. - Deng, Palamidessi, Pang   (Correct)

No context found.

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


Compositional Reasoning for Pointer Structures - Chen, Sanders   (Correct)

No context found.

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


System BV is NP-complete - Kahramanogullari (2005)   (1 citation)  (Correct)

No context found.

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


Consistency for Web Services Applications - Paul Greenfield Dean   (Correct)

No context found.

R. Milner. Communication and Concurrency, PrenticeHall International, Englewood Cliffs, 1989.


How to Specify a Graph Transformation Approach: A Meta Model.. - Heckel, Zündorf (2001)   (3 citations)  (Correct)

No context found.

Milner, R., \Communication and Concurrency," Prentice-Hall, 1989.


An Engineering Change Methodology using Simulation Relations - Sunil Khatri Linus   (Correct)

No context found.

R. Milner. Communication and Concurrency. Prentice Hall, New York, 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