Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Title | Process Algebra and Probabilistic Methods: Performance Modeling and Verification PDF eBook |
Author | Holger Hermanns |
Publisher | Springer |
Pages | 225 |
Release | 2003-08-02 |
Genre | Mathematics |
ISBN | 3540456058 |
This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25–26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and Performance Modeling) and PROBMIV (Probabilistic Methods in Veri?cation). The aim of the joint workshop is to bring together the researchers working across the whole spectrum of techniques for the modeling, speci?cation, analysis, and veri?cation of probabilistic systems. Probability is widely used in the design and analysis of software and hardware systems, as a means to derive e?cient algorithms (e.g. randomization), as a model for unreliable or unpredictable behavior (as in the study of fault-tolerant systems and computer networks), and as a tool to study performance and - pendability properties. The topics of the workshop include speci?cation, m- els, and semantics of probabilistic systems, analysis and veri?cation techniques, probabilistic methods for the veri?cation of non-probabilistic systems, and tools and case studies. The ?rst PAPM workshop was held in Edinburgh in 1993; the following ones were held in Regensberg (1994), Edinburgh (1995), Turin (1996), Enschede (1997), Nice (1998), Zaragoza (1999), and Geneva (2000). The ?rst PROBMIV workshop was held in Indianapolis, Indiana (1998); the next one took place in Eindhoven (1999). In 2000, PROBMIV was replaced by a Dagstuhl seminar on Probabilistic Methods in Veri?cation.
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Title | Process Algebra and Probabilistic Methods. Performance Modelling and Verification PDF eBook |
Author | Luca de Alfaro |
Publisher | Springer Science & Business Media |
Pages | 228 |
Release | 2001-08-29 |
Genre | Mathematics |
ISBN | 354042556X |
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 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.
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Title | Process Algebra and Probabilistic Methods. Performance Modelling and Verification PDF eBook |
Author | Luca de Alfaro |
Publisher | Springer |
Pages | 228 |
Release | 2003-06-30 |
Genre | Mathematics |
ISBN | 3540448047 |
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 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.
Process Algebra and Probabilistic Methods
Title | Process Algebra and Probabilistic Methods PDF eBook |
Author | |
Publisher | |
Pages | 240 |
Release | 2002 |
Genre | Machine theory |
ISBN |
Process Algebra and Probabilistic Methods. Performance Modeling and Verification
Title | Process Algebra and Probabilistic Methods. Performance Modeling and Verification PDF eBook |
Author | Holger Hermanns |
Publisher | Springer |
Pages | 222 |
Release | 2002-07-10 |
Genre | Mathematics |
ISBN | 9783540439134 |
This volume contains the proceedings of the second joint PAPM-PROBMIV Workshop, held at the University of Copenhagen, Denmark, July 25–26, 2002 as part of the Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and Performance Modeling) and PROBMIV (Probabilistic Methods in Veri?cation). The aim of the joint workshop is to bring together the researchers working across the whole spectrum of techniques for the modeling, speci?cation, analysis, and veri?cation of probabilistic systems. Probability is widely used in the design and analysis of software and hardware systems, as a means to derive e?cient algorithms (e.g. randomization), as a model for unreliable or unpredictable behavior (as in the study of fault-tolerant systems and computer networks), and as a tool to study performance and - pendability properties. The topics of the workshop include speci?cation, m- els, and semantics of probabilistic systems, analysis and veri?cation techniques, probabilistic methods for the veri?cation of non-probabilistic systems, and tools and case studies. The ?rst PAPM workshop was held in Edinburgh in 1993; the following ones were held in Regensberg (1994), Edinburgh (1995), Turin (1996), Enschede (1997), Nice (1998), Zaragoza (1999), and Geneva (2000). The ?rst PROBMIV workshop was held in Indianapolis, Indiana (1998); the next one took place in Eindhoven (1999). In 2000, PROBMIV was replaced by a Dagstuhl seminar on Probabilistic Methods in Veri?cation.
Process Algebra and Probabilistic Methods: Performance Modelling and Verification
Title | Process Algebra and Probabilistic Methods: Performance Modelling and Verification PDF eBook |
Author | Luca de Alfaro |
Publisher | |
Pages | 215 |
Release | 2001 |
Genre | |
ISBN |
Process Algebra and Probabilistic Methods
Title | Process Algebra and Probabilistic Methods PDF eBook |
Author | PAPM-PROBMIV 2001 |
Publisher | |
Pages | 215 |
Release | 2001 |
Genre | Machine theory |
ISBN |
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 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.