R. Milner, Communication and concurrency, Prentice Hall, 1989. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Process Algebra with Feedback - Baeten Bergstra Gh (Correct)
Weak Bisimulation for Probabilistic Timed Automata - And Applications To (Correct)
Protocols for Web Service Invocation - Christopher Walton Centre (Correct)
Conformance and Interoperability in Open Enviroments - Baldoni, Baroglio.. (Correct)
Models for Name-Passing Processes: Interleaving and Causal.. - Cattani, Sewell (2000) (4 citations) (Correct)
Action Planning for Graph Transition Systems - Edelkamp, Jabbar, al. (2005) (Correct)
Math. Struct. in Comp. Science (2004), vol. 14, pp.. - Cambridge University Press (Correct)
Abstraction-based Model Checking - Using Modal Transition (Correct)
Under consideration for publication in Math. Struct. in.. - Axioms For Bigraphical (Correct)
Secure XML Querying with Security Views - Fan, Chan, Garofalakis (2004) (4 citations) (Correct)
Equivalence Notions and Model Minimization in - Markov Decision Processes (Correct)
Higher-Order Rewriting with Dependent Types - Virga (1999) (24 citations) (Correct)
Simulation for Continuous-Time Markov Chains - Baier, Katoen, Hermanns.. (2002) (4 citations) (Correct)
A Validation Method Adapted to Dynamic Service Composition - Floch, Bræk (2002) (Correct)
Using The Event Calculus For Tracking The Normative State.. - Farrell, Sergot, Al. (Correct)
Towards PaP Services: Design and Validation Issues - Floch, Bræk (2002) (Correct)
JACK: A process algebra implementation in Java - Freitas (2002) (Correct)
A Better Way to Design - Communication Protocols Friedger (Correct)
Probabilistic Weak Simulation is Decidable in Polynomial Time - Baier, Hermanns, Katoen (2004) (Correct)
Compositional Reasoning for Probabilistic Finite-State.. - Deng, Palamidessi, Pang (Correct)
Compositional Reasoning for Pointer Structures - Chen, Sanders (Correct)
System BV is NP-complete - Kahramanogullari (2005) (1 citation) (Correct)
Consistency for Web Services Applications - Paul Greenfield Dean (Correct)
How to Specify a Graph Transformation Approach: A Meta Model.. - Heckel, Zündorf (2001) (3 citations) (Correct)
An Engineering Change Methodology using Simulation Relations - Sunil Khatri Linus (Correct)
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