Verwandte Artikel zu Current Trends in Concurrency: Overviews and Tutorials...

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

 
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.

Über die Autorin bzw. den Autor

Prof. Rozenberg is multiple Springer author/editor of, e.g., the LNCS series Advances in Petri Nets, of ICALP proceedings, of  "DNA Computing - New Computing Paradigms" by George Paun, Grzegorz Rozenberg, Arto Salomaa, of the "Handbook of Formal Languages" edited by Grzegorz Rozenberg, Arto Salomaa (3 volumes). Rozenberg is also founding editor of the EATCS Texts and Monographs Series and the Natural Computing Series.

Von der hinteren Coverseite

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.

„Über diesen Titel“ 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
Herausgeber
Bakker Jacobus W. De, Roever Willem-Paul De, Rozenberg Grzegorz
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland