CS Structure

About CS Structure | Search | Help  

 

  • distributed system; shared memory; operating system; real-time system ( Subthemes )
  •          model checking; petri nets; hybrid system; timed automata ( Subthemes )
  •                  stochastic petri; process algebra; stochastic process; petri nets ( Subthemes )
  •                          stochastic petri; process algebra; petri nets; stochastic process ( Subthemes )
  • COMMUNICATION AND CONCURRENCY - MILNER  
    By
    Date 
    Refs | Theme tree | Cited by 1564 This paper is cited in the following contexts

    Citation List: key=1000413
     

    Citation List:

    Citation Tree

    1) AN OBJECT CALCULUS FOR ASYNCHRONOUS COMMUNICATION  
    By Kohei Honda    Mario Tokoro
    Date  March 1997
    Refs | Theme tree | Cited by 200 |  CiteSeer   (Hub Citation)

    2) MULTIPROCESSOR AND DISTRIBUTED SYSTEM DESIGN: THE INTEGRATION OF FUNCTIONAL SPECIFICATION AND PERFORMANCE ANALYSIS USING STOCHASTIC PROCESS ALGEBRAS  
    By Michael Rettelbach    Norbert Gotz    Ulrich Herzog
    Date  January 1994
    Refs | Theme tree | Cited by 81 |  CiteSeer   (Authority Citation)

    3) TYPING AND SUBTYPING FOR MOBILE PROCESSES  
    By Benjamin Pierce    Davide Sangiorgi
    Date  July 1998
    Refs | Theme tree | Cited by 108 |  CiteSeer  

    4) THE NCSU CONCURRENCY WORKBENCH  
    By Rance Cleaveland    Steve Sims
    Date  May 1996
    Refs | Theme tree | Cited by 57 |  CiteSeer   (Authority Citation)

    5) A PROCESS ALGEBRAIC APPROACH TO THE SPECIFICATION AND ANALYSIS OF RESOURCE-BOUND REAL-TIME SYSTEMS  
    By Insup Lee    Richard Gerber
    Date  March 1996
    Refs | Theme tree | Cited by 49 |  CiteSeer   (Authority Citation)

    6) ALGEBRAIC THEORIES FOR NAME-PASSING CALCULI  
    By Davide Sangiorgi    Joachim Parrow
    Date  May 1994
    Refs | Theme tree | Cited by 39 |  CiteSeer  

    7) FORMAL CHARACTERISATION OF IMMEDIATE ACTIONS IN SPA WITH NONDETERMINISTIC BRANCHING  
    By Holger Hermanns    Michael Rettelbach    Thorsten Wei
    Date  October 1995
    Refs | Theme tree | Cited by 32 |  CiteSeer  

    8) ON ASYNCHRONOUS COMMUNICATION SEMANTICS  
    By Kohei Honda    Mario Tokoro
    Date  April 1997
    Refs | Theme tree | Cited by 47 |  CiteSeer   (Authority Citation)

    9) THE PEPA WORKBENCH: A TOOL TO SUPPORT A PROCESS ALGEBRA-BASED APPROACH TO PERFORMANCE MODELLING  
    By Jane Hillston    Stephen Gilmore
    Date  April 1998
    Refs | Theme tree | Cited by 44 |  CiteSeer  

    10) MODAL AND TEMPORAL LOGICS FOR PROCESSES  
    By Colin Stirling
    Date  April 1999
    Refs | Theme tree | Cited by 43 |  CiteSeer   (Authority Citation)

    11) UNDECIDABILITY OF BISIMILARITY FOR PETRI NETS AND SOME RELATED PROBLEMS  
    By
    Date  March 1999
    Refs | Theme tree | Cited by 26 |  CiteSeer   (Authority Citation)

    12) A TUTORIAL ON EMPA: A THEORY OF CONCURRENT PROCESSES WITH NONDETERMINISM, PRIORITIES, PROBABILITIES AND TIME  
    By Marco Bernardo    Roberto Gorrieri
    Date  February 1997
    Refs | Theme tree | Cited by 56 |  CiteSeer  

    13) VERSA: A TOOL FOR THE SPECIFICATION AND ANALYSIS OF RESOURCE-BOUND REAL-TIME SYSTEMS  
    By Duncan Clarke    Hong-liang Xie    Insup Lee
    Date  March 1996
    Refs | Theme tree | Cited by 35 |  CiteSeer  

    14) THE POLYADIC PI-CALCULUS: A TUTORIAL  
    By Robin Milner
    Date  August 2000
    Refs | Theme tree | Cited by 82 |  CiteSeer   (Authority Citation)

    15) REGULAR TYPES FOR ACTIVE OBJECTS  
    By Oscar Nierstrasz
    Date  April 1995
    Refs | Theme tree | Cited by 118 |  CiteSeer   (Authority Citation)

    16) THE LAZY LAMBDA CALCULUS IN A CONCURRENCY SCENARIO  
    By Davide Sangiorgi
    Date  February 1994
    Refs | Theme tree | Cited by 43 |  CiteSeer   (Authority Citation)

    17) PROOF SYSTEMS FOR MESSAGE-PASSING PROCESS ALGEBRAS  
    By H. Lin    M. Hennessy
    Date  July 2002
    Refs | Theme tree | Cited by 26 |  CiteSeer   (Authority Citation)

    18) WEAK BISIMULATION AND MODEL CHECKING FOR BASIC PARALLEL PROCESSES  
    By Richard Mayr
    Date  March 1997
    Refs | Theme tree | Cited by 18 |  CiteSeer   (Authority Citation)

    19) REWRITING LOGIC AS A LOGICAL AND SEMANTIC FRAMEWORK  
    By
    Date  April 1998
    Refs | Theme tree | Cited by 103 |  CiteSeer  

    20) COMPOSITIONAL TESTING PREORDERS FOR PROBABILISTIC PROCESSES  
    By Bengt Jonsson    Wang Yi
    Date  May 1995
    Refs | Theme tree | Cited by 34 |  CiteSeer  

    21) COMPOSITIONAL MARKOVIAN MODELLING USING A PROCESS ALGEBRA  
    By J. Hillston
    Date  May 1998
    Refs | Theme tree | Cited by 28 |  CiteSeer  

    22) MODAL LOGICS FOR MOBILE PROCESSES  
    By And David Walker    Joachim Parrow    Robin Milner
    Date  February 1996
    Refs | Theme tree | Cited by 35 |  CiteSeer   (Authority Citation)

    23) A FORMALISM FOR REAL-TIME CONCURRENT OBJECT-ORIENTED COMPUTING  
    By Ichiro Satoh    Mario Tokoro
    Date  May 2000
    Refs | Theme tree | Cited by 18 |  CiteSeer   (Authority Citation)

    24) EXTENDED MARKOVIAN PROCESS ALGEBRA  
    By Marco Bernardo    Roberto Gorrieri
    Date  October 1998
    Refs | Theme tree | Cited by 36 |  CiteSeer  

    25) A PROCESS ALGEBRAIC VIEW OF LINDA COORDINATION PRIMITIVES  
    By Gianluigi Zavattaro    Nadia Busi    Roberto Gorrieri
    Date  June 1997
    Refs | Theme tree | Cited by 32 |  CiteSeer   (Authority Citation)

  • Next 25 articles...