Process algebra and probabilistic methods: performance modeling and verification
by De Alfaro, Luca, Gilmore, Stephen, PAPM-PROBMIV 2001, Aachen, Germany), Measurement, modeling, and evaluation of computer and communication systems (Conference), Petri nets and performance models (International workshop), Probablistic methods in verification (Joint international workshop), Measurement, modeling, and evaluation of computer-communication systems (Multiconference)
fromLecture Notes in Computer Science
Neurodegenerative Disease is a current and growing health crisis. Recent research into the neurodegenerative disease field has identified mitochondria and microtubules as two systems that are particularly crucial for sustained neuronal health and function. Due to their extremely…
Annotation "This book collects the latest research developments in the use of functional programming languages. The contents highlight major research goals and engineering concerns in the subject."--BOOK JACKET. Title Summary field provided by Blackwell North America, Inc. All R…
This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001. The 12 revised full papers presented together with one invite…