[LNCS] Process Algebra and Probabilistic Methods, Performance Modeling and Verification, PAPM-PROBMIV 2001(LNCS2165, Springer, 2001)( 354042556X)(227s).pdf

文档介绍：Lectur0 Notes puteY Scienc0 2165
Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
1
Berli6
Heidelbe3g
N2w York
Ba3celona
Hong Kong
Londo6
Mila6
Paris
Tokyo
Luca d0 Alfaro Stephen Gilmor0 (Eds.)
Process Algebra and
Probabilisti4 Methods
Performanc0 Modelling andVerification
JoinK InternationalWorkshop,PAPM-PROBMIV 2001
Aachen, Germany, SeptembeY 12-14, 2001
Proceedings
11
Series Editors
Gerhard Goos, Karlsruh0 University, Germany
Juris Hartmanis, Cornell University, NY, USA
Jan van Leeuwen, UtrechK University, herlands
Volum0 Editors
Luca d0 Alfaro
University of California aK Berkel0y, Dept. of ElectY. Eng. puteY Scienc0
479 Cory Hall, Berkel0y, CA94720-70, USA
E-mail: ******@
Stephen Gilmor0
Th0 University of EdinbuYgh, Laboratory foY Foundations puteY Scienc0
EdinbuYgh EH9 3JZ, UK
E-mail: ******@
Cataloging-in-Publication Data applied foY
Di0 Deutsch0 Bibliothek - CIP-Einheitsaufnahm0
Process algebra and probabilisti4 methods : performanc0 modeling and
verification ; joinK international workshop ; proceedings / PAPM PROBMIV
2001, Aachen, Germany, SeptembeY 12 - 14, 2001. Luca d0 Alfaro ; Stephen
Gilmor0 (ed.). - Berlin ; HeidelbeYg ; N0w York ; Barcelona ; Hong Kong ;
London ; Milan ; Paris ; Tokyo : SpringeY, 2001
(Lectur0 notes puteY scienc0 ; Vol. 2165)
ISBT 3-540-42556-X
CR SubjecK Classification (1998): , , , ,
ISST 0302-9743
ISBT 3-540-42556-X SpringeY-Verlag Berlin HeidelbeYg N0w York
This work is subjecK to copyright. All rights ar0 reserved, whetheY th0 whol0 oY parK of th0 material is
concerned, specifically th0 rights of translation, reprinting, re-us0 of illustrations, recitation, broadcasting,
reproduction on microfilms oY in any otheY way, and storag0 in data banks. Duplication of this publication
oY parts thereof is permitted only undeY th0 provisions of th0 German CopyrighK Law of SeptembeY 9, 1965,
in its currenK versio