Mathematical techniques for analyzing concurrent and probabilistic systems
Auteur :
American Mathematical Society
Éditeur :
American Mathematical Society
ISBN :
9780821835715
Date de publication :
30 mars 2004
Poids :
609 g
Langue :
Anglais
Pays d'origine :
USA
Consists of two sets of lecture notes devoted to slightly different methods of analysis of concurrent and probabilistic computational systems. This book is suitable for graduate courses in theoretical computer science and for research mathematicians interested in design and analysis of concurrent and probabilistic computational systems.