Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (Crm Monograph Series, 23, Band 23) - Hardcover

Kwiatkowska, Marta; Norman, Gethin; Parker, David

 
9780821835715: Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (Crm Monograph Series, 23, Band 23)
Hardcover
ISBN 10: 0821835718 ISBN 13: 9780821835715
Verlag: American Mathematical Society, 2004

Inhaltsangabe

Two sets of lectures first presented at a 2002 workshop on "Mathematical Techniques for Analyzing Systems" are presented, exploring different aspects of the mathematical concept of concurrency and its applications in theoretical computer science. The first set of lectures examine the coalgebraic approach to concurrency, presenting a "calculus of streams" for coalgebraic reasoning. The second set discusses modeling and verification of probabilistic, concurrent systems, particularly focusing on automated tools for the study of system behavior and performance. The material is aimed at beginning graduate students. Annotation ©2004 Book News, Inc., Portland, OR (booknews.com)

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

Verlag
American Mathematical Society
Erscheinungsdatum
2004
Sprache
Englisch
ISBN 10 
0821835718
ISBN 13 
9780821835715
Einband
Gebundene Ausgabe
Anzahl der Seiten
215
Herausgeber
Rutten J. J. M. M., Panangaden Prakash, Breugel Franck Van
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar