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

Mario Tokoro, Oscar Nierstrasz, Peter Wegner

ISBN 10: 3540556133 / ISBN 13: 9783540556138

Verlag: Springer, 1992

Beschreibung

*Price HAS BEEN REDUCED by 10% until Monday, June 9 (weekend SALE item)* 264 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Bestandsnummer des Verkäufers ZB716556

Bibliografische Details

Titel: Object-Based Concurrent Computing: ECOOP '91...

Verlag: Springer

Erscheinungsdatum: 1992

Einband: Softcover

Zustand: Good

Über diesen Titel

Inhaltsangabe:

The ECOOP '91 Workshop on Object-Based Concurrent Computing was organized toprovide 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 areconcerned with models for concurrent systems.