Mathematical techniques for analyzing concurrent and probabilistic systems
By: J.J.M.M. Rutten ... [et al.] ; Prakash Panangaden, Franck van Breugel, editors
Contributors: Rutten, J. J. M. M; Panangaden, P.; Breugel, Franck van, 1966-
Series: CRM monograph series -- v. 23
Publisher: American Mathematical Society; American Mathematical Society, Centre de Recherches Mathematiques
Published: 2004
Place of publication: Providence, R.I
Language: eng
Number of pages: 215
Subjects: System analysis
Notes: Includes bibliographical references (p. 209-215)