J.A. Bergstra and J.W. Klop. Algebra of communicating processes with abstraction. Theoretical Computer Science, 37(1):77--121, 1985. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Model Checking for the Concurrent Constraint Paradigm - Garcia (Correct)
Unknown - Ya--- Fi Mu (2002) (Correct)
An Algebraic Framework for Urgency - Ebastien Bornot And (1998) (11 citations) (Correct)
On the Composition of Hybrid Systems - Ebastien Bornot And (1997) (Correct)
Two Finite Specifications of a Queue Marc Bezem - Alban Ponse Utrecht (Correct)
Process Communication Environment - Damas Gruska Andrea (1993) (Correct)
Symbolic Bisimulation Checking and Decomposition of Real-Time.. - Nakata (1997) (Correct)
Timed Network Semantics for Communicating Processes - Damas Gruska Andrea (1994) (Correct)
Analysing the BKE-security protocol with μCRL - Groote, Mauw, Serebrenik (Correct)
An Observational Model for Spatial Logics - Tuosto, Vieira (2004) (Correct)
More Infinite Results - Burkart, Esparza (1997) (6 citations) (Correct)
Transition systems, link graphs and Petri nets - Leifer, Milner (2004) (2 citations) (Correct)
Clculo de Processos - Mtodos De Programao (Correct)
Probabilistic Automata: System Types, Parallel Composition.. - Sokolova, de Vink (Correct)
An Approach to the Design of Distributed Systems with B AMN.. - Butler (1996) (6 citations) (Correct)
Bigraphs and Mobile Processes - Jensen, Milner (2003) (7 citations) (Correct)
Finite Axiom Systems for Testing Preorder and De Simone Process.. - Ulidowski (1996) (1 citation) (Correct)
Decidability and Complexity Issues for Infinite-State Processes - Srba (2003) (Correct)
Concurrency, Time and Constraints - Valencia (Correct)
Bigraphs and Mobile Processes - Jensen, Milner (2004) (7 citations) (Correct)
A Complete Order-theoretic Model for the Algebra of.. - Knijnenburg (Correct)
Swinging Data Types - The dielectic between actions and.. - Padawitz (1998) (Correct)
A Fixpoint Theory for Non-monotonic Parallelism - Chen (2002) (Correct)
Cones and Foci for Protocol Verification Revisited - Fokkink, Pang (2003) (Correct)
μCRL specification of event notification in JavaSpaces™? - Pol, Espada (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