Articles liés à Current Trends in Concurrency: Overviews and Tutorials

Current Trends in Concurrency: Overviews and Tutorials - Couverture souple

Bakker, Jacobus W. De; Roever, Willem-Paul De; Rozenberg, Grzegorz

 
9783540164883: Current Trends in Concurrency: Overviews and Tutorials
Couverture souple
ISBN 10 : 354016488X ISBN 13 : 9783540164883
Editeur : Springer, 2008

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de la quatrième de couverture

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2008
Langue
anglais
ISBN 10 
354016488X
ISBN 13 
9783540164883
Reliure
Broché
Nombre de pages
728
Coordonnées du fabricant
ProductSafety@springernature.com
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne