NAPAW 1992: Stony Brook, NY, USA

S. Purushothaman, Amy E. Zwarico (Eds.): NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992. Workshops in Computing Springer 1993, ISBN 3-540-19822-9

@proceedings{DBLP:conf/napaw/1992,
  editor    = {S. Purushothaman and
               Amy E. Zwarico},
  title     = {NAPAW 92, Proceedings of the First North American Process Algebra
               Workshop, Stony Brook, New York, USA, 28 Agust 1992},
  booktitle = {NAPAW},
  publisher = {Springer},
  series    = {Workshops in Computing},
  year      = {1993},
  isbn      = {3-540-19822-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Jens Chr. Godskesen, Kim Guldstrand Larsen: Real-Time Calculi and Expansion Theorems. 3-12
Lubos Brim: Modal Logics in Timed Process Algebras. 13-26
Damas P. Gruska, Andrea Maggiolo-Schettini: Process Communication Environment. 27-40
Hans Hansson, Fredrik Orava: A Process Calculus with Incomparable Priorities. 43-64
Patrice Brémond-Grégoire, Susan B. Davidson, Insup Lee: CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities. 65-85
Frank S. de Boer, J. Coenen, Rob Gerth: Exception Handling in Process Algebra. 86-100
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari: Observation Trees. 103-118
Bard Bloom, Robert Paige: Computing Ready Simulations Efficiently. 119-134
Zvi Schreiber: Verification of Value-Passing Systems. 135-154
Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki: An Extension of the Testing Method for Processes Passing Infinite Values. 155-173
Paul C. Brown: Constructive Semantics. 177-199
Rosvelter João Coelho da Costa, Jean-Pierre Courtiat: A Causality-based Semantics for CCS. 200-215
Brian J. Ross: A phi-calculus Semantics of Logical Variables and Unification. 216-230
Jos C. M. Baeten: The Total Order Assumption. 231-240