http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Mathematical techniques for analyzing concurrent and probabilistic systems
viii, 215 pages : illustrations ; 26 cm.
J.J.M.M. Rutten [and others] ; Prakash Panangaden, Franck van Breugel, editors.
Includes bibliographical references (pages 209-215).