Process algebra and probabilistic methods
Subtitle: performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
By: Luca de Alfaro, Stephen Gilmore (eds.).
Contributors: De Alfaro, Luca, 1966-; Gilmore, Stephen, 1962-
Series: Lecture notes in computer science -- 2165.
Publisher: Springer-Verlag
Published: 2001
Place of publication: Berlin; New York
Language: eng
Number of pages: 215
Subjects: Machine theory -- Congresses; Parallel processing (Electronic computers) -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.