NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992 - researchr publication

researchr

You are not signed in
Sign in
Sign up

S. Purushothaman, Amy E. Zwarico, editors, NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992. Workshops in Computing, Springer, 1993.

Conference: napaw1993

Abstract is missing.

Real-Time Calculi and Expansion TheoremsJens Chr. Godskesen, Kim Guldstrand Larsen. 3-12

Modal Logics in Timed Process AlgebrasLubos Brim. 13-26

Process Communication EnvironmentDamas P. Gruska, Andrea Maggiolo-Schettini. 27-40

A Process Calculus with Incomparable PrioritiesHans Hansson, Fredrik Orava. 43-64

CCSR 92: Calculus for Communicating Shared Resources with Dynamic PrioritiesPatrice Brémond-Grégoire, Susan B. Davidson, Insup Lee. 65-85

Exception Handling in Process AlgebraFrank S. de Boer, J. Coenen, Rob Gerth. 86-100

Observation TreesPierpaolo Degano, Rocco De Nicola, Ugo Montanari. 103-118

Computing Ready Simulations EfficientlyBard Bloom, Robert Paige. 119-134

Verification of Value-Passing SystemsZvi Schreiber. 135-154

An Extension of the Testing Method for Processes Passing Infinite ValuesShoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki. 155-173

Constructive SemanticsPaul C. Brown. 177-199

A Causality-based Semantics for CCSRosvelter João Coelho da Costa, Jean-Pierre Courtiat. 200-215

A phi-calculus Semantics of Logical Variables and UnificationBrian J. Ross. 216-230

The Total Order AssumptionJos C. M. Baeten. 231-240

runs on WebDSL