did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9783540424970

Concur 2001 - Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20-25, 2001 : Proceedings

by ; ; ;
  • ISBN13:

    9783540424970

  • ISBN10:

    3540424970

  • Format: Paperback
  • Copyright: 2001-09-01
  • Publisher: Springer Verlag
  • Purchase Benefits
List Price: $139.00 Save up to $120.44
  • Digital
    $40.22
    Add to Cart

    DURATION
    PRICE

Supplemental Materials

What is included with this book?

Summary

This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001.The 32 revised full papers presented together with six invited contributions were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on mobility, probabilistic systems, model checking, process algebra, unfoldings and prefixes, logic and compositionality, and games.

Table of Contents

Invited Talks
Channel Representations in Protocol Verification (Preliminary Version)
1(15)
P.A. Abdulla
B. Jonsson
Bigraphical Reactive Systems
16(20)
R. Milner
Control of Networks of Unmanned Vehicles
36(1)
S. Sastry
Process Algebra and Security
37(2)
S. Schneider
Invited Tutorials
Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software
39(20)
J. Hatcliff
M. Dwyer
Performance Evaluation:= (Process Algebra + Model Checking) x Markov Chains
59(23)
H. Hermanns
J.-P. Katoen
Mobility
Typing Mobility in the Seal Calculus
82(20)
G. Costagna
G. Ghelli
F.Z. Nardelli
Reasoning about Security in Mobile Ambients
102(19)
M. Bugliesi
G. Castagna
S. Crafa
Synchronized Hyperedge Replacement with Name Mobility (A Graphical Calculus for Mobile Systems)
121(16)
D. Hirsch
U. Montanari
Dynamic Input/Output Automata: A Formal Model for Dynamic Systems
137(15)
P.C. Attie
N.A. Lynch
Probabilistic Systems
Probabilistic Information Flow in a Process Algebra
152(17)
A. Aldini
Symbolic Computation of Maximal Probabilistic Reachability
169(15)
M. Kwiatkowska
G. Norman
J. Sproston
Randomized Non-sequential Processes (Preliminary Version)
184(18)
H. Volzer
Model Checking
Liveness and Fairness in Process-Algebraic Verification
202(16)
A. Puhakka
A. Valmari
Bounded Reachability Checking with Process Semantics
218(15)
K. Heljanko
Techniques for Smaller Intermediary BDDs
233(15)
J. Geldenhuys
A. Valmari
An Algebraic Characterization of Data and Timed Languages
248(14)
P. Bouyer
A. Petit
D. Therien
Process Algebra
A Faster-than Relation for Asynchronous Processes
262(15)
G. Luttgen
W. Vogler
On the Power of Labels in Transition Systems
277(15)
J. Srba
On Barbed Equivalences in π-Calculus
292(13)
D. Sangiorgi
D. Walker
CCS with Priority Guards
305(16)
I. Phillips
Probabilistic Systems
A Testing Theory for Generally Distributed Stochastic Processes
321(15)
N. Lopez
M. Nunez
An Algorithm for Quantitative Verification of Probabilistic Transition Systems
336(15)
F. van Breugel
J. Worrell
Compositional Methods for Probabilistic Systems
351(15)
L. de Alfaro
T.A. Henzinger
R. Jhala
Unfoldings and Prefixes
Towards an Efficient Algorithm for Unfolding Petri Nets
366(15)
V. Khomenko
M. Koutny
A Static Analysis Technique for Graph Transformation Systems
381(15)
P. Baldan
A. Corradini
B. Konig
Local First Search---A New Paradigm for Partial Order Reductions
396(15)
P. Niebert
M. Huhn
S. Zennou
D. Lugiez
Extending Memory Consistency of Finite Prefixes to Infinite Computations
411(15)
M. Glusman
S. Katz
Model Checking
Abstraction-Based Model Checking Using Modal Transition Systems
426(15)
P. Godefroid
M. Huth
R. Jagadeesan
Efficient Multiple-Valued Model-Checking Using Lattice Representations
441(15)
M. Chechik
B. Devereux
S. Easterbrook
A.Y.C. Lai
V. Petrovykh
Divide and Compose: SCC Refinement for Language Emptiness
456(16)
C. Wang
R. Bloem
G.D. Hachtel
K. Ravi
F. Somenzi
Unavoidable Configurations of Parameterized Rings of Processes
472(15)
M. Duflot
L. Fribourg
U. Nilsson
Logic and Compositionality
Logic of Global Synchrony
487(15)
Y. Chen
J.W. Sanders
Compositional Modeling of Reactive Systems Using Open Nets
502(17)
P. Baldan
A. Corradini
H. Ehrig
R. Heckel
Extended Temporal Logic Revisited
519(17)
O. Kupferman
N. Piterman
M.Y. Vardi
Games
Symbolic Algorithms for Infinite-State Games
536(15)
L. de Alfaro
T.A. Henzinger
R. Majumdar
A Game-Based Verification of Non-repudiation and Fair Exchange Protocols
551(15)
S. Kremer
J.-F. Raskin
The Control of Synchronous Systems, Part II
566(17)
L. de Alfaro
T.A. Henzinger
F.Y.C. Mang
Author Index 583

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program