Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings /

This book constitutes the refereed proceedings of the Joint International Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2002, held in Copenhagen, Denmark, in July 2002. The 10 revised full papers and four abstracts presented together wit...

Full description

Bibliographic Details

Corporate Authors:	PAPM-PROBMIV 2002 Copenhagen, Denmark, SpringerLink (Online service)
Other Authors:	Hermanns, Holger, 1967-, Segala, Roberto, 1968-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2002]
Series:	Lecture notes in computer science ; 2399.
Subjects:	Machine theory > Congresses. Parallel processing (Electronic computers) > Congresses. Machine theory. Parallel processing (Electronic computers) Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book