Cantitate/Preț
Produs
Total produse
Vezi coșul
A Calculus of Communicating Systems de R. Milner

A Calculus of Communicating Systems: Lecture Notes in Computer Science, cartea 92

Autor R. Milner
en Limba Engleză Paperback – sep 1980

Din seria Lecture Notes in Computer Science

Preț: 36747 lei

Nou

Puncte Express: 551
Preț estimativ în valută:
7033€ • 7419$ • 5861£

Carte tipărită la comandă

Livrare economică 02-16 ianuarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540102359
ISBN-10: 3540102353
Pagini: 184
Ilustrații: VI, 174 p.
Dimensiuni: 155 x 235 x 10 mm
Greutate: 0.27 kg
Ediția:1980
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

0. Introduction.- 1. Experimenting on nondeterministic machines.- 2. Synchronization.- 3. A case study in synchronization and proof techniques.- 4. Case studies in value-communication.- 5. Syntax and semantics of CCS.- 6. Communication trees (CTs) as a model of CCS.- 7. Observation equivalence and its properties.- 8. Some proofs about data structures.- 9. Translation into CCS.- 10. Determinancy and confluence.- 11. Conclusion.