Process Algebra and Probabilistic Methods. Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings - Holger Hermanns

Instant online reading.
Don't wait for delivery!

Process Algebra and Probabilistic Methods. Performance Modeling and Verification

Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings

By: Holger Hermanns (Editor), Roberto Segala (Editor)

Write A Review

Paperback | 10 July 2002

At a Glance

Paperback
232 Pages

Dimensions(cm)
23.5 x 15.88 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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 Federated Logic Conference (FLoC 2002). The PAPM-PROBMIV workshop results from the combination of two wo- shops: PAPM (Process Algebras and Performance Modeling) and PROBMIV (Probabilistic Methods in Veri?cation). The aim of the joint workshop is to bring together the researchers working across the whole spectrum of techniques for the modeling, speci?cation, analysis, and veri?cation of probabilistic systems. Probability is widely used in the design and analysis of software and hardware systems, as a means to derive e?cient algorithms (e.g. randomization), as a model for unreliable or unpredictable behavior (as in the study of fault-tolerant systems and computer networks), and as a tool to study performance and - pendability properties. The topics of the workshop include speci?cation, m- els, and semantics of probabilistic systems, analysis and veri?cation techniques, probabilistic methods for the veri?cation of non-probabilistic systems, and tools and case studies. The ?rst PAPM workshop was held in Edinburgh in 1993; the following ones were held in Regensberg (1994), Edinburgh (1995), Turin (1996), Enschede (1997), Nice (1998), Zaragoza (1999), and Geneva (2000). The ?rst PROBMIV workshop was held in Indianapolis, Indiana (1998); the next one took place in Eindhoven (1999). In 2000, PROBMIV was replaced by a Dagstuhl seminar on Probabilistic Methods in Veri?cation.

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 Contributions
Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs	p. 1
Probability and Timing: Challenges for Secure Programming	p. 16
Selected Papers
Security Analysis of a Probabilistic Non-repudiation Protocol	p. 17
The Mean Value of the Maximum	p. 37
Reduction and Refinement Strategies for Probabilistic Analysis	p. 57
Action Refinement for Probabilistic Processes with True Concurrency Models	p. 77
Probabilistic Unfoldings and Partial Order Fairness in Petri Nets	p. 95
Possibilistic and Probabilistic Abstraction-Based Model Checking	p. 115
Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling	p. 135
Model Checking CSL until Formulae with Random Time Bounds	p. 152
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol	p. 169
Deriving Symbolic Representations from Stochastic Process Algebras	p. 188
Short Abstracts
A Generalization of Equational Proof Theory?	p. 207
An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems	p. 209
Probabilistic Abstract Interpretation and Statistical Testing	p. 211
Approximate Verification of Probabilistic Systems	p. 213
Author Index	p. 215
Table of Contents provided by Publisher. All Rights Reserved.

Process Algebra and Probabilistic Methods. Performance Modeling and Verification

Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Systems Analysis & Design

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Fundamentals of Software Architecture

A Modern Engineering Approach

Business Driven Information Systems ISE

9th Edition

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Systems Analysis and Design

12th edition

Rust Atomics and Locks

Low-Level Concurrency in Practice

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Mastering API Architecture

Defining, Connecting, and Securing Distributed Systems and Microservices

Cloud Native Application Protection Platforms

A Guide to CNAPPs and the Foundations of Comprehensive Cloud Security

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

Kubernetes - Up and Running

Dive into the Future of Infrastructure

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

AI Systems Performance Engineering

Optimizing Model Training and Inference Workloads with Gpus, Cuda, and Pytorch

Exploring Research Through Co-Design

Multiple Perspectives for Collaborative Inquiry

The Bloomsbury Handbook of Service Design

Plural perspectives and a critical contemporary agenda

Rust Programming in easy steps

In Easy Steps

Head First Objects-Oriented Analysis and Design

The Best Introduction to Object Orientated Programming

Computer Organization and Design RISC-V Edition

2nd Edition - The Hardware Software Interface

Transitioning to Autonomy

The Psychology of Human Supervisory Control

Human-Centered Solutions through Human-Computer Interaction

From Healthcare to Smart Environments

Transformative Technologies

Revolutionizing Healthcare Through Computing and Communication

Decision Sciences in Bioinformatics

Theory and Practice

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

This product is categorised by