http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Process algebra and probabilistic methods
performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
PAPM-PROBMIV 2002 (2002 : Copenhagen, Denmark)
Includes bibliographical references and index.
Parallel processing (Electronic computers)
Lecture notes in computer science ; 2399
Lecture notes in artificial intelligence