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...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
491 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
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 |
| LEADER | 04786nam a22004577a 4500 | ||
|---|---|---|---|
| 001 | 945552 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155232452 | ||
| 020 | |a 9783540464525 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004.35 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a UK/Japan Workshop on Concurrency |c :Oxford, England) |d (1989. | |
| 245 | 1 | 0 | |a Concurrency : |b theory, language, and architecture : UK/Japan Workshop, Oxford, UK, September 25 27, 1989 : proceedings |c [edited by] A. Yonezawa, T. Ito. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 491 |x 1611-3349 | |
| 500 | |a Actes d'un séminaire tenu à Oxford du 25 au 27 septembre 1989, d'après l écran-titre | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 research activities in the UK, including theories on CCS and temporal logic RDL. - Papers on object orientation and concurrent languages which reflect major research activities on concurrency in Japan. The languages presented include extensions of C, Prolog and Lisp as well as object-based concurrent languages. - Papers on parallel architectures and VLSI logic, including a rewrite rule machine, a graph rewriting machine, and a dataflow architecture. - An overview of the workshop including the abstracts of the talks and the list of participants. The appendix gives a brief report of the first UK/Japan Workshop in Computer Science, held at Sendai, Japan, July 6-9, 1987. | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Parallélisme (informatique) | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Microprocesseurs | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Ito, Takayasu. |4 pbd | |
| 700 | 1 | |a Yonezawa, Akinori, |d 1947- |4 pbd | |
| 776 | 0 | |0 021920249 |t Concurrency |o theory, language, and architecture |o UK/Japan Workshop on Concurrency, Oxford, UK, September 25-27, 1989 |o proceedings |f A. Yonezawa, T. Ito, eds |c Berlin |n Springer-Verlag |d 1991 |p 1 vol. (VIII-339 p.) |s Lecture notes in computer science |z 0-387-53932-8 | |
| 776 | 0 | |t Concurrency: Theory, Language, and Architecture |b Texte imprimé |z 9783662178249 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-53932-8 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-TMZG3DJR-Z |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747909520 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-53932-8 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750922370 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-53932-8 |z Accès INSA CVL | |
| 997 | |0 945552 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||