Semantics of concurrent computation : proceedings of the international symposium, Évian, France, July 2-4, 1979
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
70 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Semantics of concurrent computation, proceedings of the international symposium, Évian, France, July 2-4, 1979, ed. by Gilles Kahn, Berlin, Springer-Verlag, 1979, 1 vol. (VI-368 p.), Lecture notes in computer science, 0-387-09511-X • Semantics of Concurrent Computation, Texte imprimé, 9783662181942 |
Obsah:
- The temporal semantics of concurrent programs
- Modal logic of concurrent nondeterministic programs
- Non-deterministic system specification
- On properties preserved by contractions of concurrent systems
- Static analysis of concurrent processes for dynamic properties using Petri Nets
- Notion de Dualite et de Symetrie dans les Reseaux de Petri
- A characterization of concurrency-like relations
- The analysis of distributed systems by means of predicate/transition-nets
- On describing the behavior and implementation of distributed systems
- On the absence of livelocks in parallel programs
- Denotational semantics of parallelism
- An approach to fair applicative multiprogramming
- Modeling a solution for a control problem in distributed systems by restrictions
- Adequate path expressions
- Petri nets, event structures and domains
- An extensional treatment of dataflow deadlock
- On achieving distributed termination
- Specifying and proving properties of guardians for distributed systems
- Principles for distributing programs
- A Petri net definition of a system description language.