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