Lecture Notes in Computer Science : Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings - Luca de Alfaro

Instant online reading.
Don't wait for delivery!

Lecture Notes in Computer Science

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

or

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.

More in Compilers & Interpreters

C# Programming in easy steps

Master C# fundamentals!

Paperback

RRP $54.99

$40.75

26%
OFF

Applied Mathematics with F# - Sudipta Mukherjee

$15.19

20%
OFF

Flex & Bison [With Access Code]

O'Reilly Ser.

Multi-Item Pack

RRP $57.00

$45.60

20%
OFF

Graph Transformation : 19th International Conference, ICGT 2026, Held as Part of STAF 2026, Rennes, France, July 1-2, 2026, Proceedings - Blair Archibald

$15.75

51%
OFF

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Paperback

RRP $87.35

$41.75

52%
OFF

Pro Spring Boot 4 : An Authoritative Guide with Best Practices - DaShaun Carter

$276.75

Compilers: Pearson New International Edition 2ed : Principles, Techniques, and Tools - Alfred Aho

$28.75

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.

Lecture Notes in Computer Science

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 Compilers & Interpreters

C# Programming in easy steps

Master C# fundamentals!

Applied Mathematics with F#

Clean Ruby

A Guide to Crafting Better Code for Rubyists

Java in Two Semesters

Featuring JavaFX

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-solving Approach

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Flex & Bison [With Access Code]

O'Reilly Ser.

Graph Transformation

19th International Conference, ICGT 2026, Held as Part of STAF 2026, Rennes, France, July 1-2, 2026, Proceedings

Pragmatic Programmers

Pragmatic Programmers

Metaprogramming Elixir

Write Less Code, Get More Done (and Have Fun!)

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Pro Spring Boot 4

An Authoritative Guide with Best Practices

Compilers

Principles, Techniques, and Tools

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

Bad Programming Practices 101

Become a Better Coder by Learning How (Not) to Program

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

Compilers

A Practical Approach

Definitive ANTLR 4 Reference

2nd Edition

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

Artificial Intelligence Through Search

Diverse Ser.

Microprogrammed State Machine Design

Sun Technical Reference Library

An Introduction to the Network/Extensible Window System

This product is categorised by