Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Author :
Publisher : Springer Science & Business Media
Total Pages : 228
Release :
ISBN-10 : 9783540425564
ISBN-13 : 354042556X
Rating : 4/5 (64 Downloads)

Book Synopsis Process Algebra and Probabilistic Methods. Performance Modelling and Verification by : Luca de Alfaro

Download or read book Process Algebra and Probabilistic Methods. Performance Modelling and Verification written by Luca de Alfaro and published by Springer Science & Business Media. This book was released on 2001-08-29 with total page 228 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 Related Books

Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Language: en
Pages: 225
Authors: Holger Hermanns
Categories: Mathematics
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

DOWNLOAD EBOOK

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
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Language: en
Pages: 228
Authors: Luca de Alfaro
Categories: Mathematics
Type: BOOK - Published: 2001-08-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM
Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Language: en
Pages: 228
Authors: Luca de Alfaro
Categories: Mathematics
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM
Process Algebra and Probabilistic Methods
Language: en
Pages: 240
Authors:
Categories: Machine theory
Type: BOOK - Published: 2002 - Publisher:

DOWNLOAD EBOOK

Process Algebra and Probabilistic Methods: Performance Modelling and Verification
Language: en
Pages: 215
Authors: Luca de Alfaro
Categories:
Type: BOOK - Published: 2001 - Publisher:

DOWNLOAD EBOOK