Process Algebra and Probabilistic Methods. Performance Modelling and Verification : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings - Luca de Alfaro

Instant online reading.
Don't wait for delivery!

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 (Editor), Stephen Gilmore (Editor)

Write A Review

Paperback | 29 August 2001

At a Glance

Paperback
236 Pages

Dimensions(cm)
22.86 x 15.24 x 1.27

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

Invited Paper
Advances in Model Representations	p. 1
Contributed Papers
Faster and Symbolic CTMC Model Checking	p. 23
Reachability Analysis of Probabilistic Systems by Successive Refinements	p. 39
Beyond Memoryless Distributions: Model Checking Semi-Markov Chains	p. 57
Coin Lemmas with Random Variables	p. 71
MoDeST - A Modelling and Description Language for Stochastic Timed Systems	p. 87
Randomization Helps in LTL Model Checking	p. 105
An Efficient Kronecker Representation for PEPA Models	p. 120
Reward Based Congruences: Can We Aggregate More?	p. 136
Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes	p. 152
Expressing Processes with Different Action Durations through Probabilities	p. 168
Quantifying the Dynamic Behavior of Process Algebras	p. 184
Implementing a Stochastic Process Algebra within the Möbius Modeling Framework	p. 200
Author Index	p. 217
Table of Contents provided by Publisher. All Rights Reserved.

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Artificial Intelligence

Nexus

A Brief History of Information Networks from the Stone Age to AI

The Tech Coup

How to Save Democracy from Silicon Valley

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Creative Machines

AI, Art & Us

Empire of AI

Inside the reckless race for total domination

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Artificial Intelligence and Human Rights, Democracy, and the Rule of Law

Computational Intelligence Techniques

The Shortest History of AI

Patient-Centric 6G

A New Era in Smart Healthcare

Advanced Computational Intelligence Techniques for Engineers

Patient-Centric 6G

A New Era in Smart Healthcare

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

The Invisible Project Manager

Why Artificial Intelligence Will Run Tomorrow's Projects — Without You

The Invisible Project Manager

Why Artificial Intelligence Will Run Tomorrow's Projects — Without You

Ideal Subjects Volume 76

The Abstract People of AI

Ideal Subjects Volume 76

The Abstract People of AI

Life 3.0

Being Human in the Age of Artificial Intelligence

Scary Smart

The Future of Artificial Intelligence and How You Can Save Our World

AI 2025

Advances in Artificial Intelligence : 38th Australasian Joint Conference on Artificial Intelligence, AI 2025, Canberra, ACT, Australia, December 1-5, 2025, Proceedings, Part I

Co-Intelligence

Living and Working with AI

More Everything Forever

AI Overlords, Space Empires, and Silicon Valley's Crusade to Control the Fate of Humanity

Falter

Has the Human Game Begun to Play Itself Out?

Superintelligence

Paths, Dangers, Strategies

This product is categorised by