The SCEAS System
Navigation Menu

Conferences in DBLP

North American Process Algebra Workshop (napaw)
1992 (conf/napaw/1992)

  1. Jens Chr. Godskesen, Kim Guldstrand Larsen
    Real-Time Calculi and Expansion Theorems. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:3-12 [Conf]
  2. Lubos Brim
    Modal Logics in Timed Process Algebras. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:13-26 [Conf]
  3. Damas P. Gruska, Andrea Maggiolo-Schettini
    Process Communication Environment. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:27-40 [Conf]
  4. Hans Hansson, Fredrik Orava
    A Process Calculus with Incomparable Priorities. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:43-64 [Conf]
  5. Patrice Brémond-Grégoire, Susan B. Davidson, Insup Lee
    CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:65-85 [Conf]
  6. Frank S. de Boer, J. Coenen, Rob Gerth
    Exception Handling in Process Algebra. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:86-100 [Conf]
  7. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    Observation Trees. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:103-118 [Conf]
  8. Bard Bloom, Robert Paige
    Computing Ready Simulations Efficiently. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:119-134 [Conf]
  9. Zvi Schreiber
    Verification of Value-Passing Systems. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:135-154 [Conf]
  10. Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki
    An Extension of the Testing Method for Processes Passing Infinite Values. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:155-173 [Conf]
  11. Paul C. Brown
    Constructive Semantics. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:177-199 [Conf]
  12. Rosvelter João Coelho da Costa, Jean-Pierre Courtiat
    A Causality-based Semantics for CCS. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:200-215 [Conf]
  13. Brian J. Ross
    A phi-calculus Semantics of Logical Variables and Unification. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:216-230 [Conf]
  14. Jos C. M. Baeten
    The Total Order Assumption. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:231-240 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002