NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 (Workshops in Computing) - Softcover

Softcover

ISBN 10: 3540198229 ISBN 13: 9783540198222

Publisher: Springer, 1993

Synopsis

This proceedings contains fourteen papers on process algebras presented at the First North American Process Algebra Workshop, held on 28 August 1992 in Stony Brook, New York. NAPAW was held in conjunc- tion with CONCUR 92. It is hoped that NAPAW will be held yearly to bring together researchers from the North American continent interested in process algebras. We would like to thank the program committee members for reading through the abstracts, and Scott Smolka whose encouragement and assistance was critical to the success of the workshop. November 1992 S. Purushothaman University Park, PA Amy Zwarico Baltimore, MD Program Committee Rance Cleaveland, North Carolina State University Richard Gerber, University of Maryland at College Park Faron Moller, University of Edinburgh S. Purushothaman, Pennsylvania State University Amy Zwarico, Johns Hopkins University Contents Session 1 Real-Time Calculi and Expansion Theorems (Extended Abstract) J. C. Godskesen and K. G. Larsen ...3 Modal Logics in Timed Process Algebras L. Brim ...13 Process Communication Environment D. P. Gruska andA. Maggiolo-Schettini ...27 Session 2 A Process Calculus with Incomparable Priorities H. Hansson and F. Orava ...43 CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities P. Bremond-Gregoire, S. Davidson and I. Lee ...65 Exception Handling in Process Algebra F. S. de Boer, J. Coenen and R. Gerth ...86 Session 3 Observation Trees (Extended Abstract) P. Degano, R. De Nicola and U. Montanari...103 Computing Ready Simulations Efficiently B. Bloom and R. Paige ...119 Verification of Value-Passing Systems Z. Schreiber ...

About this title

Synopsis

This volume contains papers from the North American Process Algebra Workshop, held in Stony Brook, New York, 28 August 1992. This was the fast in a proposed series of workshops, intended to increase awareness of process algebras in the United States and Canada, and to promote their use and development. The workshop was held simultaneously with CONCUR 92, the annual conference on concurrency theories. It provided an important forum for the discussion and exchange of ideas, and allowed recent developments in the application of algebraic techniques to concurrency theory to be presented. The resulting volume provides a good cross-section of current research work in Canada, USA and Europe.

Among the specific topics covered are: real-time calculi and expansion theorems; modal logics in timed process algebra; process communication environment; a process calculus with incomparable priorities; exception handling in process algebra; bisimulations on observation structures; computing ready simulations efficiently; analysis of value-passing CCS agents with infinite sorts; an extension of the testing method for processes passing infinite values; constructive semantics, a casuality-based semantics for CCS. NAPAW 92 provides an comprehensive overview of this important, up-and-coming area of computer science. It will provide essential reading for both postgraduate students and researchers in industry and academia.

Edition details

• Publisher: Springer
• Publication date: 1993
• Language: English
• ISBN 10: 3540198229
• ISBN 13: 9783540198222
• Binding: Paperback
• Number of pages: 251
• Editor: Purushothaman S., Zwarico Amy