PARLE '91 : parallel architectures and languages Europe proceedings Volume II, parallel languages, Eindhoven, The Netherlands, June 10 13, 1991 :
Enregistré dans:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | , , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
506 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • PARLE '91. Parallel Architectures and Languages Europe, Texte imprimé, 9783540541523 • PARLE '91. Parallel Architectures and Languages Europe, Texte imprimé, 9783662194997 • Parallel architectures and languages Europe - PARLE '91, Volume II, Parallel languages, conference, Eindhoven, The Netherlands, June 10-13, 1991, E.H.L. Aarts, J. van Leeuwen, M. Rem (Eds), 1991, Berlin [etc.], Springer, 1 vol. (XV-488 p.), Lecture notes in computer science - LNCS, 3-540-54152-7 |
Indholdsfortegnelse:
- Loosely-coupled processes (preliminary version)
- Rendez-vous with metric semantics
- Embeddings among concurrent programming languages
- Invariants and paradigms of concurrency theory
- Acceptance Automata: A framework for specifying and verifying TCSP parallel systems
- Models for dynamically placed concurrent processes
- Formalisation of the behavior of actors by colored Petri nets and some applications
- Program refinement in fair transition systems
- Communication abstraction and refinement
- On the semantics of languages for massively parallel SIMD architectures
- A denotational real-time semantics for shared processors
- Concurrent clean
- The scriptic programming language
- Structural operational semantics for Kernel Andorra Prolog
- Customization of first-class tuple-spaces in a higher-order language
- A formal specification of the process trellis
- Strong bisimilarity on nets revisited
- A configuration approach to parallel programming
- Chaotic linear system solvers in a variable-grain data-driven multiprocessor system
- Parallel associative combinator evaluation
- Static analysis of term graph rewriting systems
- Scheduling of OR-parallel Prolog on a scalable, reconfigurable, distributed-memory multiprocessor
- Flexible scheduling of or-parallelism in Aurora: The Bristol scheduler
- Virtual memory support for OR-parallel logic programming systems
- Interfacing engines and schedulers in Or-Parallel Prolog systems
- Reduction of code space in parallel logic programming systems
- Search level parallel processing of production systems.