Description |
1 online resource (x, 264 pages) : illustrations |
Series |
Lecture notes in computer science ; 612 |
|
Lecture notes in computer science ; 612.
|
Contents |
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? |
Summary |
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 |
Notes |
Selected presentations from the ECOOP'91 Workshop on Object-Based Concurrent Computing held in Geneva, Switzerland, July 15-16, 1991 |
Bibliography |
Includes bibliographical references and index |
Notes |
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL |
|
digitized 2012 HathiTrust Digital Library committed to preserve pda MiAaHDL |
|
Print version record |
Subject |
Object-oriented programming (Computer science) -- Congresses
|
|
Parallel programming (Computer science) -- Congresses
|
|
Object-oriented programming languages -- Congresses
|
|
Parallel programming (Computer science)
|
|
Object-oriented programming languages
|
|
Object-oriented programming (Computer science)
|
|
Parallel programming (Computer science)
|
|
Object-georiënteerd programmeren.
|
|
Programmation orientée objets (informatique) -- Congrès.
|
Genre/Form |
Conference papers and proceedings
|
Form |
Electronic book
|
Author |
Tokoro, Mario, 1947-
|
|
Nierstrasz, Oscar Marius, 1957-
|
|
Wegner, Peter
|
LC no. |
92018409 |
ISBN |
9783540472605 |
|
3540472606 |
|