Process algebra and probabilistic methods
Subtitle: performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
By: Holger Hermanns, Roberto Segala, eds.
Contributors: Hermanns, Holger, 1967-; Segala, Roberto, 1968-
Series: Lecture notes in computer science -- 2399.
Publisher: Springer
Published: 2002
Place of publication: New York
Language: eng
Number of pages: 214
Subjects: Machine theory -- Congresses; Parallel processing (Electronic computers) -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.