Cantitate/Preț
Produs

Object-Based Concurrent Computing

Editat de Mario Tokoro, Oscar Nierstrasz, Peter Wegner
en Limba Engleză Paperback – 16 iun 1992
The ECOOP '91 Workshop on Object-Based Concurrent Computingwas organized toprovide a forum on concurrent, distributedand open-ended computing. The emphasis was on conceptual,theoretical and formal aspects, as well as practical aspectsand sound experience, since such a viewpoint was deemedindispensible to investigate and establish a basis forfuture development.This volume contains 12 papers selected from 25 presented atthe workshop, together with a paper by J.A. Goguen, who wasan invited speaker at the workshop. The papers areclassified into four categories:Formal methods (1): three papers are concerned with theformal semantics of concurrent objects based on processcalculi.Formal methods (2): four papers are concerned with variousformal approaches to the semantics of concurrent programs.Concurrent programming: three papers.Models: three papers areconcerned with models forconcurrent systems.
Citește tot Restrânge

Preț: 32115 lei

Preț vechi: 40143 lei
-20%

Puncte Express: 482

Carte tipărită la comandă

Livrare economică 25 iulie-08 august

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.

Specificații

ISBN-13: 9783540556138
ISBN-10: 3540556133
Pagini: 280
Ilustrații: XI, 269 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.43 kg
Ediția:1992
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Towards an object calculus.- On asynchronous communication semantics.- A unifying framework for process calculus semantics of concurrent object-oriented languages.- A sheaf semantics for FOOPS expressions (extended abstract).- Semantic layers of object-based concurrent computing.- Formal techniques for parallel object-oriented languages.- Trace semantics for actor systems.- Dynamic programming as multiagent programming.- Scheduling predicates.- A concurrency control mechanism for C++ objects.- Object-Oriented Concurrent Reflective architectures.- Abstract description of distributed object systems.- Design issues for object-based concurrency.- Panel: What is an object?.