Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 : proceedings
This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. The papers are of two kinds: - surveys and tutorials introducing the subject to novices and students and giving updates of the state of the art, - research papers...
Đã lưu trong:
| Tác giả khác: | |
|---|---|
| Định dạng: | Livre numérique |
| Ngôn ngữ: | Anglais |
| Được phát hành: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Loạt: | Lecture notes in computer science
469 |
| Những chủ đề: | |
| Truy cập trực tuyến: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Chú thích: |
Actes d'un séminaire tenu à La Roche Posay du 23 au 27 avril 1990, 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: | • Semantics of systems of concurrent processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, proceedings, I. Guessarian (ed.), Berlin, Springer-Verlag, 1990, 1 vol. (IV-456 p.), Lecture notes in computer science, 3-540-53479-2 • Semantics of Systems of Concurrent Processes, Texte imprimé, 9783662170816 |
Mục lục:
- Processes as data types: Observational semantics and logic
- Metric pomset semantics for a concurrent language with recursion
- Fault-tolerant naming and mutual exclusion
- Flow event structures and flow nets
- Three equivalent semantics for CCS
- Towards a semantic approach to SIMD architectures and their languages
- Concerning the size of clocks
- Transition systems with algebraic structure as models of computations
- Concurrency and computability
- Causal trees interleaving + causality
- Partially commutative formal power series
- Infinite traces
- Equivalences and refinement
- CCS and petri nets
- About fixpoints for concurrency
- Observers, experiments, and agents: A comprehensive approach to parallelism
- Action versus state based logics for transition systems
- Approaching fair computations by ultra metrics
- On distributed languages and models for distributed computation.