Current Trends in Concurrency: Overviews and Tutorials (Lecture Notes in Computer Science, 224, Band 224) - Softcover

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

 
9783540164883: Current Trends in Concurrency: Overviews and Tutorials (Lecture Notes in Computer Science, 224, Band 224)
Softcover
ISBN 10: 354016488X ISBN 13: 9783540164883
Verlag: Springer, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
354016488X
ISBN 13 
9783540164883
Einband
Taschenbuch
Anzahl der Seiten
732
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780387164885: Current Trends in Concurrency (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  038716488X ISBN 13:  9780387164885
Verlag: Springer Verlag, 1986
Softcover