C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
NAPAW
1992
1993
1992
1993
Keyphrases
Publications
1993
NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992
NAPAW
(1993)
1992
Hans Hansson
,
Fredrik Orava
A Process Calculus with Incomparable Priorities.
NAPAW
(1992)
Shoji Yuen
,
Toshiki Sakabe
,
Yasuyoshi Inagaki
An Extension of the Testing Method for Processes Passing Infinite Values.
NAPAW
(1992)
Rosvelter João Coelho da Costa
,
Jean-Pierre Courtiat
A Causality-based Semantics for CCS.
NAPAW
(1992)
Lubos Brim
Modal Logics in Timed Process Algebras.
NAPAW
(1992)
Damas P. Gruska
,
Andrea Maggiolo-Schettini
Process Communication Environment.
NAPAW
(1992)
Frank S. de Boer
,
J. Coenen
,
Rob Gerth
Exception Handling in Process Algebra.
NAPAW
(1992)
Brian J. Ross
A π-calculus Semantics of Logical Variables and Unification.
NAPAW
(1992)
Jos C. M. Baeten
The Total Order Assumption.
NAPAW
(1992)
Jens Chr. Godskesen
,
Kim Guldstrand Larsen
Real-Time Calculi and Expansion Theorems.
NAPAW
(1992)
Zvi Schreiber
Verification of Value-Passing Systems.
NAPAW
(1992)
Pierpaolo Degano
,
Rocco De Nicola
,
Ugo Montanari
Observation Trees.
NAPAW
(1992)
Bard Bloom
,
Robert Paige
Computing Ready Simulations Efficiently.
NAPAW
(1992)
Paul C. Brown
Constructive Semantics.
NAPAW
(1992)
Patrice Brémond-Grégoire
,
Susan B. Davidson
,
Insup Lee
CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities.
NAPAW
(1992)