Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Object-Based Concurrent Computing

ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings
BuchKartoniert, Paperback
269 Seiten
Englisch
Springererschienen am16.06.1992
The ECOOP '91 Workshop on Object-Based Concurrent Computingwas organized toprovide a forum on concurrent, distributedand open-ended computing. The papers areclassified into four categories:Formal methods (1): three papers are concerned with theformal semantics of concurrent objects based on processcalculi.mehr

Produkt

KlappentextThe ECOOP '91 Workshop on Object-Based Concurrent Computingwas organized toprovide a forum on concurrent, distributedand open-ended computing. The papers areclassified into four categories:Formal methods (1): three papers are concerned with theformal semantics of concurrent objects based on processcalculi.
Details
ISBN/GTIN978-3-540-55613-8
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr1992
Erscheinungsdatum16.06.1992
ReiheLecture Notes in Computer Science
Seiten269 Seiten
SpracheEnglisch
Gewicht404 g
IllustrationenXI, 269 p.
Artikel-Nr.10744696

Inhalt/Kritik

Inhaltsverzeichnis
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?.mehr

Schlagworte

Autor