Lecture Notes in Computer Science
Volume 2067, 2001, DOI: 10.1007/3-540-45510-8

Modeling and Verification of Parallel Processes
4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures

Franck Cassez, Claude Jard, Brigitte Rozoy and Mark Dermot Ryan

Contents

Viewing all 11 chapters

About This Book

Title
Modeling and Verification of Parallel Processes
4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
2001
DOI
10.1007/3-540-45510-8
ISBN
978-3-540-42787-2
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Sunday, June 29, 2003

About This Book Series

Title
Lecture Notes in Computer Science
Coverage
Volume 1 / 1973 - Volume 7260 / 2012
Collection
Computer Science
Subjects
ISSN
0302-9743 (Print)
1611-3349 (Online)
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, April 05, 2002