Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings, Luca de Alfaro, Stephen Gilmore (eds.)

Resource Information

The instance Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings, Luca de Alfaro, Stephen Gilmore (eds.) represents a material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries. This resource is a combination of several types including: Instance, Electronic.

Image

http://covers.openlibrary.org/b/isbn/9783540425564-M.jpg?default=false

Label

Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings, Luca de Alfaro, Stephen Gilmore (eds.)

Title remainder

performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings

Statement of responsibility

Luca de Alfaro, Stephen Gilmore (eds.)

Instantiates

• Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings

Publication

• Berlin | New York, Springer-Verlag, ©2001

Bibliography note

Includes bibliographical references and index

Carrier category

volume

Carrier category code

• nc

Carrier MARC source

rdacarrier

Content category

text

Content type code

• txt

Content type MARC source

rdacontent

Contents

• Beyond Memoryless Distributions: Model Checking Semi-Markov Chains
• G.G. Infante Lopez, H. Hermanns and J.-P. Katoen
• Coin Lemmas with Random Variables
• K. Folegati and R. Segala
• MoDeST -- A Modelling and Description Language for Stochastic Timed Systems
• P.R. D'Argenio, H. Hermanns and J.-P. Katoen
• [et al.]
• Randomization Helps in LTL Model Checking
• L. Brim, I. Cerna and M. Necesal
• Advances in Model Representations
• M. Siegle
• Faster and Symbolic CTMC Model Checking
• J.-P. Katoen, M. Kwiatkowska and G. Norman
• [and others]
• Reachability Analysis of Probabilistic Systems by Successive Refinements
• P.R. D'Argenio, B. Jeannet and H.E. Jensen
• [et al.]

Dimensions

24 cm.

Dimensions

unknown

Extent

xii, 215 pages

Isbn

9783540425564

Lccn

2001044642

Media category

unmediated

Media MARC source

rdamedia

Media type code

• n

Other physical details

illustrations

Record ID

99189165280001161

Specific material designation

remote

System control number

• (OCoLC)47805083
• (OCoLC)ocm47805083