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

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.

Über diesen Titel

Ü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.

Details zur Ausgabe

• 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