J. C. M. Baeten and W. P. Weijland. Process Algebra. Cambridge Tracts in Theoretical Computer Science, 18(1), 1990. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
A Note on an Expressiveness Hierarchy - For Multi-Exit Iteration (Correct)
Formal Verification of an Improved Sliding Window Protocol - Chkliaev, Hooman, de Vink (Correct)
On a conjecture of Schnoebelen - Gómez, Pin (Correct)
A Note on an Expressiveness Hierarchy for Multi-exit.. - Aceto, Fokkink.. (2002) (Correct)
Two Recursive Generalizations of Iteration in Process Algebra - Bergstra (1998) (Correct)
Structural Operational Semantics - Aceto, Fokkink, Verhoef (1999) (15 citations) (Correct)
Structural Operational Semantics - Aceto, Fokkink, Verhoef (1999) (15 citations) (Correct)
To Reuse or To Be Reused: Techniques for Component Composition.. - de Jonge (2003) (Correct)
A Comparison of Simulation Techniques and Algebraic Techniques .. - Lynch, Segala (1997) (5 citations) (Correct)
An Algebraic Approach to Transactional Processes - van Beek (2002) (Correct)
A Checker For Modal Formulas For Processes With Data - Groote, Willemse (2002) (Correct)
Process Algebra Semantics of phiSDL - Bergstra, Middelburg (1996) (2 citations) (Correct)
Action Transducers and Timed Automata - Lynch, Vandrager (1996) (4 citations) (Correct)
Workflow Modeling for Virtual Processes: an Order-Preserving.. - Liu, Shen (2002) (Correct)
Language-Driven System Design - Mauw, Wiersma, Willemse (2002) (Correct)
Interpretations of Automata - Willemse (Correct)
The Analysis of a Conveyor Belt System - a case study in Hybrid.. - Willemse (1999) (1 citation) (Correct)
A Process Algebraic Approach to Hybrid Systems (Extended Abstract) - Willemse (Correct)
Petri Nets, Process Algebras and Concurrent Programming Languages - Best (Correct)
Termination of Term Rewriting - Zantema (2000) (4 citations) (Correct)
Language-Driven System Design - Mauw, Wiersma, Willemse (2002) (Correct)
Knowledge, State, Event and Time in System Modeling -.. - Dong, Duke, Sun (2006) (Correct)
Generating MSCs from an Integrated Formal - Specification Language Jin (Correct)
Two Finite Specifications of a Queue Marc Bezem - Alban Ponse Utrecht (Correct)
Process Algebra with Language Matching - Jos Van Wamel (Correct)
Frame Algebra with Synchronous Communication - Jan Bergstra Alban (Correct)
The Algebra of - Finite State Processes (Correct)
The Algebra of - Finite State Processes (Correct)
Split-2 Bisimilarity has a Finite Axiomatization over CCS with.. - Aceto, al. (2004) (Correct)
An Automata-theoretic Approach to Interprocedural Data-flow.. - Esparza, Knoop (1999) (27 citations) (Correct)
Grammars as Processes - Esparza (2002) (2 citations) (Correct)
Efficient Algorithms for pre* and post* on Interprocedural.. - Esparza, Podelski (2000) (Correct)
Model Checking Probabilistic Pushdown Automata - Esparza, Kucera, Mayr (2004) (1 citation) (Correct)
The Concurrency Column - Aceto (Correct)
Precise Interprocedural Dependence Analysis of Parallel Programs - Müller-Olm (2004) (Correct)
Studies in Computer Aided Verification of Protocols - Griffioen (2000) (Correct)
Finite Axiom Systems for Testing Preorder and De Simone Process.. - Ulidowski (1996) (1 citation) (Correct)
Formal Verification of an Improved Sliding Window Protocol - Chkliaev, Hooman, de Vink (2002) (Correct)
Large State Space Visualization - Jan Friso Groote (2003) (1 citation) (Correct)
Process Algebra Primitives for File Transfer - Jan Bergstra Alban (1 citation) (Correct)
Model Checking for Open Systems: A Compositional Approach to.. - Andrade-Gomez (2001) (Correct)
Shue on Positive Varieties of Languages. - Antonio Cano Omez (Correct)
Process Algebra with Language Matching - Jos Van Wamel Self-citation (Algebra) (Correct)
Process Algebra with Feedback - Baeten Bergstra Gh Self-citation (Baeten Algebra) (Correct)
Real Time Process Algebra With Time-Dependent Conditions - Baeten, Middelburg (2001) Self-citation (Baeten Algebra) (Correct)
Operational and Denotational Semantics for the Box Algebra - Koutny, Best (1997) (6 citations) Self-citation (Algebra) (Correct)
A New Equivalence for Processes with Timing With an.. - Baeten, Middelburg.. Self-citation (Baeten) (Correct)
A Comparison of Simulation Techniques and Algebraic Techniques .. - Lynch, Segala (1997) (5 citations) Self-citation (Process) (Correct)
M-nets: an Algebra of High-level Petri Nets, with.. - Best, Fraczak.. Self-citation (Algebra) (Correct)
The Specification and Validation of the OM/RR-Protocol - Willemse Self-citation (Baeten) (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