Concurrency : theory, language, and architecture : UK/Japan Workshop, Oxford, UK, September 25 27, 1989 : proceedings
This volume is a collection of papers on topics focused around concurrency, based on research work presented at the UK/Japan Workshop held at Wadham College, Oxford, September 25-27, 1989. The volume is organized into four parts: - Papers on theoretical aspects of concurrency which reflect strong re...
Guardado en:
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , |
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colección: | Lecture notes in computer science
491 |
| Materias: | |
| Acceso en línea: | 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: |
Actes d'un séminaire tenu à Oxford du 25 au 27 septembre 1989, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Concurrency, theory, language, and architecture, UK/Japan Workshop on Concurrency, Oxford, UK, September 25-27, 1989, proceedings, A. Yonezawa, T. Ito, eds, Berlin, Springer-Verlag, 1991, 1 vol. (VIII-339 p.), Lecture notes in computer science, 0-387-53932-8 • Concurrency: Theory, Language, and Architecture, Texte imprimé, 9783662178249 |
Tabla de Contenidos:
- An introduction to modal and temporal logics for CCS
- Some results on the ?-calculus
- Analysing TM FS : A study of nondeterminism in real-time concurrency
- Using the temporal logic RDL for design specifications
- Logic of execution: An outline
- Exception handling and real time features in an object-oriented concurrent language
- Reuse of concurrent object descriptions
- The computational field model for open distributed environments (extended abstract)
- Concurrent programming in COB
- A parallel object oriented language Fleng++ and its control system on the parallel machine PIE64
- An operational semantics of ANDOR-II, a parallel logic programming language with AND- and OR- parallelism
- Premature return Another interpretation of the future construct (An extended abstract)
- Semantic specifications for the rewrite rule machine
- Graph rewriting as a computational model
- An ultra-multiprocessing machine architecture for efficient parallel execution of functional languages
- A hierarchical approach to hardware design
- Transformational derivation of systolic arrays
- Locally computable coding for unary operations
- Overview of the workshop
- Abstracts of talks.