Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16–17 May 1994: Workshops in Computing
Editat de Alban Ponse, Christiaan Verhoef, Sebastiaan F.M.van Vlijmenen Limba Engleză Paperback – 30 noi 1994
Din seria Workshops in Computing
- 20% Preț: 332.39 lei
- 20% Preț: 333.22 lei
- 20% Preț: 329.76 lei
- 20% Preț: 336.54 lei
- 20% Preț: 335.88 lei
- 20% Preț: 333.54 lei
- 20% Preț: 331.58 lei
- 20% Preț: 327.77 lei
- 20% Preț: 352.86 lei
- 20% Preț: 330.10 lei
- 20% Preț: 339.99 lei
- 20% Preț: 339.34 lei
- 20% Preț: 339.00 lei
- 20% Preț: 335.88 lei
- 20% Preț: 332.24 lei
- 20% Preț: 332.06 lei
- 20% Preț: 326.97 lei
- 20% Preț: 333.72 lei
- 20% Preț: 342.96 lei
- 20% Preț: 644.66 lei
- 20% Preț: 341.95 lei
- 20% Preț: 330.75 lei
- 20% Preț: 327.29 lei
- 20% Preț: 339.80 lei
- 20% Preț: 341.15 lei
- 20% Preț: 336.35 lei
- 20% Preț: 339.34 lei
- 20% Preț: 335.88 lei
- 20% Preț: 656.03 lei
- 20% Preț: 330.56 lei
- 20% Preț: 330.10 lei
- 20% Preț: 336.67 lei
- 20% Preț: 338.03 lei
- 20% Preț: 345.44 lei
- 20% Preț: 329.58 lei
- 20% Preț: 337.20 lei
- 20% Preț: 330.24 lei
- 20% Preț: 336.54 lei
- 20% Preț: 338.49 lei
- 20% Preț: 333.54 lei
- 20% Preț: 338.35 lei
- 20% Preț: 340.98 lei
- 20% Preț: 332.57 lei
- 20% Preț: 654.55 lei
- 20% Preț: 334.53 lei
- 20% Preț: 334.53 lei
- 20% Preț: 334.05 lei
- 20% Preț: 336.67 lei
- 20% Preț: 334.53 lei
Preț: 336.21 lei
Preț vechi: 420.26 lei
-20% Nou
Puncte Express: 504
Preț estimativ în valută:
64.33€ • 67.35$ • 53.23£
64.33€ • 67.35$ • 53.23£
Carte tipărită la comandă
Livrare economică 05-19 aprilie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540199090
ISBN-10: 3540199098
Pagini: 372
Ilustrații: X, 359 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.52 kg
Ediția:Softcover reprint of the original 1st ed. 1995
Editura: SPRINGER LONDON
Colecția Springer
Seria Workshops in Computing
Locul publicării:London, United Kingdom
ISBN-10: 3540199098
Pagini: 372
Ilustrații: X, 359 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.52 kg
Ediția:Softcover reprint of the original 1st ed. 1995
Editura: SPRINGER LONDON
Colecția Springer
Seria Workshops in Computing
Locul publicării:London, United Kingdom
Public țintă
ResearchCuprins
The Algebra of Recursively Defined Processes and the Algebra of Regular Processes.- The Syntax and Semantics of ?CRL.- A Correctness Proof of the Bakery Protocol in ?CRL.- Inductive Proofs with Sets, and some Applications in Process Algebra.- Formal Semantics of Interworkings with Discrete Absolute Time.- The ABP and the CABP — A Comparison of Performances in Real Time Process Algebra.- Real Time Process Algebra with Infinitesimals.- On the Expressiveness of ACP (Extended Abstract).- Definability with the State Operator in Process Algebra.- Normed BPP and BPA.- A Real Time ?CRL Specification of a System for Traffic Regulation at Signalized Intersections.- An Experiment in Implementing Process Algebra Specifications in a Procedural Language.- Graph Isomorphism Models for Non Interleaving Process Algebra.- Process Specification in a UNITY Format.- Algebraic Specification of Dynamic Leader Election Protocols in Broadcast Networks.- Author Index.