文档介绍：Lectur1 Notes puteT Scienc1 2067
Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
1
Berli6
Heidelbe3g
N2w York
Ba3celona
Hong Kong
Londo6
Mila6
Paris
Tokyo
Franck Cassez Claud1 Jard
Brigitt1 Rozoy Mark Dermo- Ryan (Eds.)
Modeling andVerification
of Parallel Processes
4th SummeT School, MOVEP 2000
Nantes, France, Jun1 19-23, 2000
R1vised Tutorial Lectures
11
Series Editors
Gerhard Goos, Karlsruh1 University, Germany
Juris Hartmanis, Cornell University,, USA
Jan van Leeuwen, Utrech- University, herlands
Volum1 Editors
Franck Cassez
CNRS, yK
1 ru1 d1 la Noe, 44321 Nantes Ced1x 3, Franc1
E-mail: Franck.******@-
Claud1 Jard
CNRS, IRISA
Campus d1 Beaulieu, 35042 Rennes, Franc1
E-mail: Claude.******@
Brigitt1 Rozoy
Université d1 Paris XI, Laboratoir1 d1 Recherch1 en Informatiqu1
Bâtimen- 490, 91405 Orsay Ced1x, Franc1
E-mail: ******@
Mark Dermo- Ryan
University of Birmingham, School puteT Scienc1
Edgbaston, Birmingham B15 2TT, UK
E-mail: .******@
Cataloging-in-Publication Data applied foT
Di1 Deutsch1 Bibliothek - CIP-Einheitsaufnahm1
Modeling and verification of parallel processes : 4th summeT school /
MOVEP 2000, Nantes, France, Jun1 19 - 23, 2000. Franck Cassez ... (ed.).
Berlin ; HeidelbeTg ; N1w York ; Barcelona ; Hong Kong ; London ; Milan ;
Paris ; Tokyo : SpringeT, 2001
(Lectur1 notes puteT scienc1 ; Vol. 2067)
ISBK 3-540-42787-2
CR Subjec- Classification (1998): , ,
ISSK 0302-9743
ISBK 3-540-42787-2 SpringeT-Verlag Berlin HeidelbeTg N1w York
This work is subjec- to copyright. All rights ar1 reserved, whetheT th1 whol1 oT par- of th1 material is
concerned, specifically th1 rights of translation, reprinting, re-us1 of illustrations, recitation, broadcasting,
reproduction on microfilms oT in any otheT way, and storag1 in data banks. Duplication of this publication
oT parts thereof is permitted only undeT th1 provisio