Process Algebra and Probabilistic Methods: Performance Modelling and Verification

Download or Read eBook Process Algebra and Probabilistic Methods: Performance Modelling and Verification PDF written by Luca de Alfaro and published by . This book was released on 2001 with total page 215 pages. Available in PDF, EPUB and Kindle.
Process Algebra and Probabilistic Methods: Performance Modelling and Verification
Author :
Publisher :
Total Pages : 215
Release :
ISBN-10 : OCLC:901870875
ISBN-13 :
Rating : 4/5 (75 Downloads)

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

Book excerpt:


Process Algebra and Probabilistic Methods: Performance Modelling and Verification Related Books

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: Performance Modelling and Verification
Language: en
Pages: 215
Authors: Luca de Alfaro
Categories:
Type: BOOK - Published: 2001 - Publisher:

DOWNLOAD EBOOK

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
Language: en
Pages: 215
Authors: PAPM-PROBMIV 2001
Categories: Machine theory
Type: BOOK - Published: 2001 - Publisher:

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM