Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Algebra of Communicating Processes

Name: Algebra of Communicating Processes
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02172597
Price: 51.52 EUR
Availability: InStock
Author: Alban Ponse
ISBN: 9783540199090

Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16-17 May 1994

Alban Ponse

Christiaan Verhoef

Sebastiaan F.M.van Vlijmen

Language

English

Book Paperback

Libristo code: 02172597

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 1994

This volume contains revised papers from ACP94, which was held at Utrecht University, the Netherland... Full description

Libristo code: 02172597

125 b

51.52 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Tr gheits- Und Widerstandsmomente Von Blechtr gern P. Krugmann

Paperback

52.93 €

Berlin - Bagdad Albert Ritter

Paperback

16.13 €

Mitteilungen Des Naturwissenschaftlichen Vereines Für Steiermark Graz Naturwissenschaftlicher Verein Für Steiermark

Paperback

28.43 €

El maestro iluminador : la terrible herejía de impulsar la traducción de la Biblia Brenda Rickman Vantrease

Paperback

15.02 €

Oeuvres Completes Illustrees, Les Soeurs Rondoli De Maupassant-G

Paperback

25.71 €

Dimensionen des Wachstums Guido Quelle

Hardback

32.06 €

Psychologia Kluczowe koncepcje Tom 3 Struktura i funkcje świadomości Zimbardo Philip

Hardback

25.60 €

Abendmahl Hermut Löhr

Paperback

14.31 €

Ineinandergreifen von EuGVVO und nationalem Zivilverfahrensrecht am Beispiel des Gerichtsstands des Sachzusammenhangs, Art. 6 EuGVVO. Wolfgang Winter

Paperback

74.11 €

Novas teorias dos movimentos sociais Maria da Glória Marcondes Gohn

Paperback

28.02 €

Demain et les autres jours augé

Paperback

28.43 €

This volume contains revised papers from ACP94, which was held at Utrecht University, the Netherlands, from 16-17 May 1994. As the first workshop devoted to this important topic, it aims to provide a comprehensive overview of current research, design and application work relating to ACP. The first day of the workshop examined the language µCRL, a formalism which extends ACP with algebraic data specification, and to the incorporation of real-time in ACP. The second day covered expressiveness issues and a number of relevant case studies. This volume also contains a reprint of a classic paper by J.A. Bergstra and J.W. Klop, who initiated the algebraic approach to concurrency theory in the early 80s. This paper serves both as an introduction to ACP in general, and also as a reference point for the rest of the papers in the proceedings.

Actress & Polyglot

EWA KASP for

Play video

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Algebra of Communicating Processes

Author Alban Ponse, Christiaan Verhoef, Sebastiaan F.M.van Vlijmen

Language

English

Binding Book - Paperback

Date of issue 1994

Number of pages 359

EAN 9783540199090

ISBN 3540199098

Libristo code 02172597

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Weight 575

Dimensions 155 x 235 x 21

You might also be interested in

Anthropology and the Politics of Representation Gabriela Vargas-Cetina

Paperback

38.82 €

Whispers of the Lake Williams

Paperback

15.32 €

KEYNOTE ELEMENTARY ALUM+SPARK

Book

49.40 €

The Briard: A Complete and Comprehensive Owners Guide To: Buying, Owning, Health, Grooming, Training, Obedience, Understanding and Michael Stonewood

Paperback

8.76 €