Könyv Algebra of Communicating Processes Alban Ponse

Algebra of Communicating Processes

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

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 771 Ft
This volume contains revised papers from ACP94, which was held at Utrecht University, the Netherland...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
1994
oldal
359
EAN
9783540199090
ISBN
3540199098
Enbook ID
02172597
Súly
575
Méretek
155 x 235 x 21

Teljes leírás

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.

Érdekelheti

5 822 Ft
19 496 Ft
17 081 Ft
11 442 Ft

Children's Table

Anna Mae Duane
38 454 Ft

Green Valley

Katharine Reynolds
6 217 Ft
39 428 Ft
13 742 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Nach Amerika!

Friedrich Gerstäcker
11 355 Ft
12 374 Ft

Berlin - Bagdad

Albert Ritter
6 217 Ft

Abendmahl

Hermut Löhr
8 880 Ft