Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings - Lecture Notes in Computer Science 2165 (Paperback)Luca De Alfaro (editor), Stephan Gilmore (editor)
- We can order this
The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions. Among the topics addressed are model representation, model checking, probabilistic systems analysis, refinement, Markov chains, random variables, stochastic timed systems, Max-Plus algebra, process algebra, system modeling, and the Mobius modeling framework.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 224
Weight: 750 g
Dimensions: 235 x 155 x 12 mm
Edition: 2001 ed.
You may also be interested in...
Please sign in to write a review