|
Conferences in DBLP
- Jens Chr. Godskesen, Kim Guldstrand Larsen
Real-Time Calculi and Expansion Theorems. [Citation Graph (0, 0)][DBLP] NAPAW, 1992, pp:3-12 [Conf]
- Lubos Brim
Modal Logics in Timed Process Algebras. [Citation Graph (0, 0)][DBLP] NAPAW, 1992, pp:13-26 [Conf]
- Damas P. Gruska, Andrea Maggiolo-Schettini
Process Communication Environment. [Citation Graph (0, 0)][DBLP] NAPAW, 1992, pp:27-40 [Conf]
- Hans Hansson, Fredrik Orava
A Process Calculus with Incomparable Priorities. [Citation Graph (0, 0)][DBLP] NAPAW, 1992, pp:43-64 [Conf]
- 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]
- Frank S. de Boer, J. Coenen, Rob Gerth
Exception Handling in Process Algebra. [Citation Graph (0, 0)][DBLP] NAPAW, 1992, pp:86-100 [Conf]
- Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
Observation Trees. [Citation Graph (0, 0)][DBLP] NAPAW, 1992, pp:103-118 [Conf]
- Bard Bloom, Robert Paige
Computing Ready Simulations Efficiently. [Citation Graph (0, 0)][DBLP] NAPAW, 1992, pp:119-134 [Conf]
- Zvi Schreiber
Verification of Value-Passing Systems. [Citation Graph (0, 0)][DBLP] NAPAW, 1992, pp:135-154 [Conf]
- 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]
- Paul C. Brown
Constructive Semantics. [Citation Graph (0, 0)][DBLP] NAPAW, 1992, pp:177-199 [Conf]
- 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]
- Brian J. Ross
A phi-calculus Semantics of Logical Variables and Unification. [Citation Graph (0, 0)][DBLP] NAPAW, 1992, pp:216-230 [Conf]
- Jos C. M. Baeten
The Total Order Assumption. [Citation Graph (0, 0)][DBLP] NAPAW, 1992, pp:231-240 [Conf]
|