Object-Based Concurrent Computing: Ecoop '91 Workshop, Geneva, Switzerland, July 15-16, 1991 : Proceedings (Lecture Notes in Computer Science)

Switz European Conference On Object-Oriented Programming 1991 Geneva

ISBN 10: 0387556133 / ISBN 13: 9780387556130

Published by Springer-Verlag, 1992

About this Item

264 Seiten Sofort verfügbar Versand sofort nach durchgeführter Zahlungsverifikation Rechnung mit ausgewiesener MwSt. liegt bei daily shipping worldwide with invoice ex library in good condition aus Bibliothek in guten Zustand Sprache: Englisch Gewicht in Gramm: 550.

Seller Inventory # 181688

Bibliographic Details

• Title: Object-Based Concurrent Computing: Ecoop '91 Workshop, Geneva, Switzerland, July 15-16, 1991 : Proceedings (Lecture Notes in Computer Science)
• Publisher: Springer-Verlag
• Publication Date: 1992
• Language: English
• ISBN 10: 0387556133
• ISBN 13: 9780387556130
• Binding: Taschenbuch
• Condition: Gut
• Seller catalogs:
  • Alle Bücher

About this title

Synopsis

The ECOOP '91 Workshop on Object-Based Concurrent Computing was organized to provide a forum on concurrent, distributed and open-ended computing. The emphasis was on conceptual, theoretical and formal aspects, as well as practical aspects and sound experience, since such a viewpoint was deemed indispensible to investigate and establish a basis for future development. This volume contains 12 papers selected from 25 presented at the workshop, together with a paper by J.A. Goguen, who was an invited speaker at the workshop. The papers are classified into four categories: Formal methods (1): three papers are concerned with the formal semantics of concurrent objects based on process calculi. Formal methods (2): four papers are concerned with various formal approaches to the semantics of concurrent programs. Concurrent programming: three papers. Models: three papers are concerned with models for concurrent systems.