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ț: 319.75 lei - 20%
Preț: 320.55 lei - 20%
Preț: 317.23 lei - 20%
Preț: 323.73 lei - 20%
Preț: 323.10 lei - 20%
Preț: 320.86 lei - 20%
Preț: 318.97 lei - 20%
Preț: 315.31 lei - 20%
Preț: 339.42 lei - 20%
Preț: 319.75 lei - 20%
Preț: 327.04 lei - 20%
Preț: 326.42 lei - 20%
Preț: 326.10 lei - 20%
Preț: 323.10 lei - 20%
Preț: 319.60 lei - 20%
Preț: 319.42 lei - 20%
Preț: 314.54 lei - 20%
Preț: 321.03 lei - 20%
Preț: 329.91 lei - 20%
Preț: 619.76 lei - 20%
Preț: 328.94 lei - 20%
Preț: 318.17 lei - 20%
Preț: 314.86 lei - 20%
Preț: 326.87 lei - 20%
Preț: 328.16 lei - 20%
Preț: 323.55 lei - 20%
Preț: 326.42 lei - 20%
Preț: 323.10 lei - 20%
Preț: 630.68 lei - 20%
Preț: 318.00 lei - 20%
Preț: 317.55 lei - 20%
Preț: 323.86 lei - 20%
Preț: 325.15 lei - 20%
Preț: 332.29 lei - 20%
Preț: 317.05 lei - 20%
Preț: 324.35 lei - 20%
Preț: 317.68 lei - 20%
Preț: 323.73 lei - 20%
Preț: 325.61 lei - 20%
Preț: 320.86 lei - 20%
Preț: 325.47 lei - 20%
Preț: 327.99 lei - 20%
Preț: 319.92 lei - 20%
Preț: 629.26 lei - 20%
Preț: 321.81 lei - 20%
Preț: 321.81 lei - 20%
Preț: 321.35 lei - 20%
Preț: 323.86 lei - 20%
Preț: 321.81 lei
Preț: 323.41 lei
Preț vechi: 404.26 lei
-20%
Puncte Express: 485
Carte tipărită la comandă
Livrare economică 08-22 iunie
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.