Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1992

Object-Based Concurrent Computing

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

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)

Conference series link(s): ECOOP: European Conference on Object-Oriented Programming

Conference proceedings info: ECOOP 1991.

Sections

Buy it now

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

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

Table of contents (14 papers)

  1. Front Matter

    PDF

  2. Towards an object calculus

    • Oscar Nierstrasz
    Pages 1-20

  3. On asynchronous communication semantics

    • Kohei Honda, Mario Tokoro
    Pages 21-51

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

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

  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

  16. Back Matter

    PDF
Back to top

Other Volumes

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

  2. Object-Based Concurrent Computing

Back to top

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.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation