Stock image for illustration purposes only - book cover, edition or condition may vary.
NAPAW '92
. Ed(S): Purushothaman, Sahasranaman; Zwarico, Amy
€ 64.69
FREE Delivery in Ireland
Description for NAPAW '92
Paperback. Contains papers from the North American Process Algebra Workshop, held in Stony Brook, New York, 28 August 1992. Among the specific topics covered are: real-time calculi and expansion theorems; modal logics in timed process algebra; and bisimulations on observations structures. Editor(s): Purushothaman, Sahasranaman; Zwarico, Amy. Series: Workshops in Computing. Num Pages: 243 pages, biography. BIC Classification: PBF; PBK; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 13. Weight in Grams: 391.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
1993
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
243
Condition
New
Series
Workshops in Computing
Number of Pages
243
Place of Publication
Berlin, Germany
ISBN
9783540198222
SKU
V9783540198222
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for NAPAW '92