Object-based concurrent computing : ECOOP '91 workshop Geneva, Switzerland, July 15 16, 1991 : proceedings
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 i...
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| coleção: | Lecture notes in computer science
612 |
| Assuntos: | |
| Acesso em linha: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Object-based concurrent computing, ECOOP '91 workshop, Geneva, Swizterland, July 15-16, 1991, proceedings, M. Tokoro, O. Nierstrasz, P. Wegner, eds, Berlin, Springer-Verlag, 1992, 1 vol. (X-264 p.), Lecture notes in computer science, 3-540-55613-3 • Object-Based Concurrent Computing, Texte imprimé, 9783662181324 |
Sumário:
- 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?.