Skip to main content
SpringerLink
Log in

Object-Based Concurrent Computing

ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings

  • Conference proceedings
  • © 1992

Overview

Editors:
  1. M. Tokoro
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. O. Nierstrasz
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. P. Wegner
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 612)

Included in the following conference series:

Conference proceedings info: ECOOP 1991.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Keywords

Table of contents (14 papers)

  1. Front Matter

    Download chapter PDF

  2. Towards an object calculus

    • Oscar Nierstrasz
    Pages 1-20

  3. On asynchronous communication semantics

    • Kohei Honda, Mario Tokoro
    Pages 21-51

  4. A unifying framework for process calculus semantics of concurrent object-oriented languages

    • Michael Papathomas
    Pages 53-79

  5. A sheaf semantics for FOOPS expressions (extended abstract)

    • D. A. Wolfram, Joseph A. Goguen
    Pages 81-98

  6. Semantic layers of object-based concurrent computing

    • Etsuya Shibayama
    Pages 99-117

  7. Formal techniques for parallel object-oriented languages

    • Pierre America
    Pages 119-140

  8. Trace semantics for actor systems

    • Vasco Vasconcelos, Mario Tokoro
    Pages 141-162

  9. Dynamic programming as multiagent programming

    • Jean-Marc Andrcoli, Remo Pareschi, Marc Bourgois
    Pages 163-176

  10. Scheduling predicates

    • Ciaran McHale, Bridget Walsh, Seán Baker, Alexis Donnelly
    Pages 177-193

  11. A concurrency control mechanism for C++ objects

    • Hayssam Saleh, Philippe Gautron
    Pages 195-210

  12. Object-Oriented Concurrent Reflective architectures

    • Satoshi Matsuoka, Takuo Watanabe, Yuuji Ichisugi, Akinori Yonezawa
    Pages 211-226

  13. Abstract description of distributed object systems

    • Thorsten Hartmann, Ralf Jungclaus
    Pages 227-244

  14. Design issues for object-based concurrency

    • Peter Wegner
    Pages 245-256

  15. Panel: What is an object?

    Pages 257-264

  16. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. ECOOP'91 European Conference on Object-Oriented Programming

  2. Object-Based Concurrent Computing

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation