Seminar on concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9 11, 1984
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Livre numérique |
| Language: | Anglais |
| Published: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
197 |
| Subjects: | |
| Online Access: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Seminar on Concurrency, Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984, edited by S.D. Brookes, A.W. Roscoe, and G. Winskel, Berlin, Springer-Verlag, 1985, 1 vol. (X-523 p.), Lecture notes in computer science, 0-387-15670-4 • Seminar on Concurrency, Texte imprimé, 9783662178706 |
Table of Contents:
- On the axiomatic treatment of concurrency
- Hierarchical development of concurrent systems in a temporal logic framework
- On the composition and decomposition of assertions
- Process algebra with asynchronous communication mechanisms
- Axioms for memory access in asynchronous hardware systems
- Executing temporal logic programs
- The static derivation of concurrency and its mechanized certification
- Semantic considerations in the actor paradigm of concurrent computation
- The pomset model of parallel processes: Unifying the temporal and the spatial
- Lectures on a calculus for communicating systems
- Concurrent behaviour: Sequences, processes and axioms
- Categories of models for concurrency
- Maximally concurrent evolution of non-sequential systems
- An improved failures model for communicating processes
- Denotational semantics for occam
- Linguistic support of receptionists for shared resources
- Applications of topology to semantics of communicating processes
- Denotational models based on synchronously communicating processes: Refusal, acceptance, safety
- The ESTEREL synchronous programming language and its mathematical semantics
- An implementation model of rendezvous communication
- A fully abstract model of fair asynchrony
- Alternative semantics for McCarthy's amb
- Semantics of networks containing indeterminate operators
- Abstract interpretation and indeterminacy
- The NIL distributed systems programming language: A status report.