Current trends in concurrency : overviews and tutorials
Enregistré dans:
| 企業作者: | |
|---|---|
| 其他作者: | , , |
| 格式: | Livre numérique |
| 語言: | Anglais |
| 出版: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| 叢編: | Lecture notes in computer science
224 |
| 主題: | |
| 在線閱讀: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 提示: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Current trends in concurrency, overviews and tutorials, edited by J.W. de Bakker, W.-P. de Roever and G. Rozenberg, Berlin, Springer-Verlag, 1986, 1 vol. (XII-716 p.), Lecture notes in computer science, 3-540-16488-X • Current Trends in Concurrency, Texte imprimé, 9783662190203 |
書本目錄:
- Computer science in industry
- Dataflow and education: Data-driven and demand-driven distributed computation
- Contrasting themes in the semantics of imperative concurrency
- Functional programming and the language tale
- Design, specification and validation of hierarchies of protocols in distributed systems
- Infinitary languages: Basic theory and applications to concurrent systems
- The quest goes on: A survey of proofsystems for partial correctness of CSP
- Logic programming: The foundations, the approach and the role of concurrency
- Process theory: Semantics, specification and verification
- Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends
- Petri nets: Basic notions, structure, behaviour
- Concepts for concurrent programming.