Stock image for illustration purposes only - book cover, edition or condition may vary.
Algebra of Communicating Processes
. Ed(S): Ponse, Alban (Universiteit Van Amsterdam); Verhoef, Christiaan; Vlijmen, Sebastiaan F.M.Van; Etc.
€ 65.88
FREE Delivery in Ireland
Description for Algebra of Communicating Processes
Paperback. Providing a detailed overview of the design and applications of the algebra of communicating processes (ACP), this volume examines a formalism which extends ACP with algebraic data specification, expressiveness issues and a number of relevant case studies. Editor(s): Ponse, Alban (Universiteit van Amsterdam); Verhoef, Christiaan; Vlijmen, Sebastiaan F.M.Van; etc. Series: Workshops in Computing. Num Pages: 359 pages, biography. BIC Classification: PBF; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 575.
ACP, the Algebra of Communicating Processes, is an algebraic approach to the study of concurrent processes, initiated by Jan Bergstra and Jan Will em Klop in the early eighties. These proceedings comprise the contributions to ACP94, the first workshop devoted to ACP. The work shop was held at Utrecht University, 16-17 May 1994. These proceedings are meant to provide an overview of current research in the area of ACP. They contain fifteen contributions. The first one is a classical paper on ACP by J.A. Bergstra and J.W. Klop: The Algebra of Recursively Defined Processes and the Algebra of Regular Processes, ... Read more
ACP, the Algebra of Communicating Processes, is an algebraic approach to the study of concurrent processes, initiated by Jan Bergstra and Jan Will em Klop in the early eighties. These proceedings comprise the contributions to ACP94, the first workshop devoted to ACP. The work shop was held at Utrecht University, 16-17 May 1994. These proceedings are meant to provide an overview of current research in the area of ACP. They contain fifteen contributions. The first one is a classical paper on ACP by J.A. Bergstra and J.W. Klop: The Algebra of Recursively Defined Processes and the Algebra of Regular Processes, ... Read more
Product Details
Format
Paperback
Publication date
1994
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
359
Condition
New
Series
Workshops in Computing
Number of Pages
359
Place of Publication
Berlin, Germany
ISBN
9783540199090
SKU
V9783540199090
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Algebra of Communicating Processes