Luca De Alfaro,Stephan Gilmore: Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings
Description
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.
____________________________
Author: Luca De Alfaro,Stephan Gilmore
Number of Pages: 224 pages
Published Date: 01 Sep 2001
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783540425564
Download Link: Click Here
____________________________
Tags:
pocket, mobi, fb2, iPhone, download torrent, download epub, download pdf, Luca De Alfaro,Stephan Gilmore paperback,iOS, book review Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings by Luca De Alfaro,Stephan Gilmore kindle,for mac, for PC, free ebook, iPad, epub download, paperback, rardownload ebook, ebook, Process Algebra and Probabilistic Methods. Performance Modelling and Verification: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings pocket,free pdf, Read online, facebook, download book, pocket, book review, ebook pdf, kindle, zip,