Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, ... (Lecture Notes in Computer Science, 2399)
I will be using this book for:
Log in to remove ads

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, ... (Lecture Notes in Computer Science, 2399)

Mathematics Computer Science technical
1 Star 2 Star 3 Star 4 Star 5 Star
0.0 out of 5 stars (0 ratings)
View on Amazon View on BAM Trade it in for cash!

Collected papers from the 2002 PAPM-PROBMIV workshop exploring process algebra and probabilistic techniques for modeling and verifying system performance.

ISBN-13 9783540439134 ASIN 3540439137 Views 25 Publisher Springer Year 2002 Edition 2002 ed. Format Paperback Product Group Book Pages 232 Adult No Created May 31, 2026 Updated September 08, 2026
About This Book

This volume collects papers from the Second Joint International Workshop on Process Algebra and Probabilistic Methods held in Copenhagen in 2002.

The contributions address formal modeling techniques that combine process algebra with probabilistic methods for system performance analysis.

Topics include verification of stochastic systems and quantitative evaluation of concurrent processes.

The book is part of the Lecture Notes in Computer Science series, volume 2399.

Reviews

No reviews yet. Be the first to review this book!

Write a Review
I will be using this book for: