NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992

NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992

Paperback(Softcover reprint of the original 1st ed. 1993)

$109.00
Eligible for FREE SHIPPING
  • Want it by Friday, October 26?   Order by 12:00 PM Eastern and choose Expedited Shipping at checkout.

Overview

NAPAW 92: Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 August 1992 by S. Purushothaman

This volume contains papers from the North American Process Algebra Workshop, held in Stony Brook, New York, 28 August 1992. This was the first 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 causality-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.

Product Details

ISBN-13: 9783540198222
Publisher: Springer London
Publication date: 04/08/1993
Series: Workshops in Computing
Edition description: Softcover reprint of the original 1st ed. 1993
Pages: 243
Product dimensions: 6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

Session 1.- Real-Time Calculi and Expansion Theorems (Extended Abstract).- Modal Logics in Timed Process Algebras.- Process Communication Environment.- Session 2.- A Process Calculus with Incomparable Priorities.- CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities.- Exception Handling in Process Algebra.- Session 3.- Observation Trees (Extended Abstract).- Computing Ready Simulations Efficiently.- Verification of Value-Passing Systems.- An Extension of the Testing Method for Processes Passing Infinite Values.- Session 4.- Constructive Semantics.- A Causality-based Semantics for CCS.- A—-calculus Semantics of Logical Variables and Unification.- The Total Order Assumption.- Author Index.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews