This book constitutes the refereed proceedings of the 13th International Conference on Concurrency Theory, CONCUR 2002, held in Brno, Czech Republic in August 2002.The 32 revised full papers presented together with abstracts of seven invited contributions were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections on verification and model checking, logic, mobility, probabilistic systems, models of computation and process algebra, security, Petri nets, and bisimulation.

Themessagepassingparadigmisconsideredthemoste?ectivewaytodevelop- ?cient parallel applications. PVM (Parallel Virtual Machine) and MPI (Message Passing Interface) are the most frequently used tools for programming message passing applications. This volume includes the selected contributions presented at the 10th - ropean PVM/MPI Users' Group Meeting (Euro PVM/MPI 2003), which was held in Venice, Italy, September 29-October 2, 2003. The conference was jointly organized by the Department of Computer Science of the Ca' Foscari University of Venice, Italy and the Information Science and Technologies Institute of the National Research Council (ISTI-CNR), Pisa, Italy. TheconferencewaspreviouslyheldinLinz, Austria(2002), Santorini, Greece (2001), Balatonfured, ] Hungary (2000), Barcelona, Spain (1999), Liverpool, UK (1998), and Krakow, Poland (1997). The ?rst three conferences were devoted to PVM and were held in Munich, Germany (1996), Lyon, France (1995), and Rome, Italy (1994). The conference has become a forum for users and developers of PVM, MPI, and other message passing environments. Interactions between these groups has proved to be very useful for developing new ideas in parallel computing, and for applying some of those already existent to new practical ?elds. The main topics of the meeting were evaluation and performance of PVM and MPI, ext- sions, implementations and improvements of PVM and MPI, parallel algorithms using the message passing paradigm, and parallel applications in science and engineering. In addition, the topics of the conference were extended to include Grid computing, in order to re?ect the importance of this area for the hi- performance computing community."

This book constitutes the refereed proceedings of the 6th International Conference on Applied Parallel Computing, PARA 2002, held in Espoo, Finland, in June 2002.The 50 revised full papers presented together with nine keynote lectures were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on data mining and knowledge discovery, parallel program development, practical experience in parallel computing, computer science, numerical algorithms with hierarchical memory optimization, numerical methods and algorithms, cluster computing, grid and network technologies, and physics and applications.

This book constitutes the refereed proceedings of the 5th International Conference on Coordination Models and Languages, COORDINATION 2002, held in York, UK, in April 2002.The 18 revised full papers and 14 short papers presented were carefully reviewed and selected from 55 submissions. Among the topics addressed are network-centric systems design, concurrent semantics, mobile object systems, mobile agent systems, software components, distributed processes, coordination frameworks, reflective architectures, multi-agent systems engineering, communication protocols, formal specification, and cooperative virtual teams.

This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Parallel Processing and Applied Mathematics, PPAM 2002, held in Naleczow, Poland, in September 2001.
The 101 papers presented were carefully reviewed and improved during two rounds of reviewing and revision. The book offers topical sections on distributed and grid architectures, scheduling and load balancing, performance analysis and prediction, parallel non-numerical algorithms, parallel programming, tools and environments, parallel numerical algorithms, applications, and evolutionary computing and neural networks.

Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems.This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Abstraction Techniques, and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts, Industrial Applications of Model Checking, and the use of Formal Methods in Security. Finally, four annotated bibliographies give an overview of Infinite State Space Systems, Testing Transition Systems, Fault-Model-Driven Test Derivation, and Mobile Processes.

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.

Euro-Par - the European Conference on Parallel Computing - is an international conference series dedicated to the promotion and advancement of all aspects of parallel computing. The major themes can be divided into the broad categories of hardware, software, algorithms, and applications for parallel computing. The objective of Euro-Par is to provide a forum within which to promote the dev- opment of parallel computing both as an industrial technique and an academic discipline, extending the frontiers of both the state of the art and the state of the practice. This is particularlyimportant at a time when parallel computing is undergoing strong and sustained development and experiencing real ind- trial take up. The main audience for and participants in Euro-Par are seen as researchers in academic departments, government laboratories, and industrial organisations. Euro-Par aims to become the primarychoice of such professionals for the presentation of new results in their speci?c areas. Euro-Par is also int- ested in applications that demonstrate the e?ectiveness of the main Euro-Par themes. Euro-Par has its own Internet domain with a permanent web site where the historyof the conference series is described: http: //www. euro-par. org. The Euro-Par conference series is sponsored bythe Association of Computer Machineryand the International Federation of Information Processing. Euro-Par 2001 Euro-Par 2001 was organised bythe Universityof Manchester and UMIST

This book constitutes the refereed proceedings of the 8th European Conference on Parallel Computing, Euro-Par 2002, held in Paderborn, Germany in August 2002.The 67 revised full papers and 55 research note papers presented together with 6 invited papers were carefully reviewed and selected from 265 submissions. The papers presented give a unique survey of the state of the art in parallel computing research, ranging from algorithms, software, hardware and application in various fields.

This book constitutes the refereed proceedings of the International Workshop on OpenMP Applications and Tools, WOMPAT 2001, held in West Lafayette, IN, USA in July 2001.The 15 full papers presented were carefully reviewed and revised for inclusion in the volume. The book presents a state-of-the-art overview on OpenMP shared memory parallel programming. The papers are organized in topical sections on benchmarking, compiler implementation and optimization, tools and tool technology, OpenMP experience, NUMA machines and clusters, and OpenMP extensions.

This book constitutes the refereed proceedings of the 9th European PVM/MPI Users'Group Meeting held in Linz, Austria in September/October 2002.The 50 revised full papers presented together with abstracts of 11 invited contributions were carefully reviewed and selected. The papers are organized in topical sections on Corss Grid, Par Sim, application using MPI and PVM, parallel algorithms using message passing, programming tools for MPI and PVM, implementations of MPI and PVM, extensions of MPI and PVM, and performance analysis and optimization.

This book constitutes the refereed proceedings of the 9th International Conference on High-Performance Computing and Networking, HPCN Europe 2001, held in Amsterdam, The Netherlands in June 2001.
The 67 revised papers and 15 posters presented were carefully reviewed and selected from a total of almost 200 submissions. Among the areas covered are Web/grid applications of HPCN, end user applications, computational science, computer science, and Java in HPCN.

Scalable parallel systems or, more generally, distributed memory systems offer a challenging model of computing and pose fascinating problems regarding compiler optimization, ranging from language design to run time systems. Research in this area is foundational to many challenges from memory hierarchy optimizations to communication optimization.This unique, handbook-like monograph assesses the state of the art in the area in a systematic and comprehensive way. The 21 coherent chapters by leading researchers provide complete and competent coverage of all relevant aspects of compiler optimization for scalable parallel systems. The book is divided into five parts on languages, analysis, communication optimizations, code generation, and run time systems. This book will serve as a landmark source for education, information, and reference to students, practitioners, professionals, and researchers interested in updating their knowledge about or active in parallel computing.

This book constitutes the refereed proceedings of the 6th International Workshop on High-Level Parallel Programming Models and Supportive Environments, HIPS 2001, held in San Francisco, CA, USA in April 2001.The 10 revised full papers presented were carefully reviewed and selected out of 20 submissions. The focus of the book is on high-level programming of networks of workstations, computing clusters, and massively parallel machines. Among the issues addressed are language design, compilers, system architectures, programming tools, and advanced applications.

The papers in this volume were presented at PARA 2000, the Fifth International Workshop on Applied Parallel Computing. PARA 2000 was held in Bergen, Norway, June 18-21, 2000. The workshop was organized by Parallab and the Department of Informatics at the University of Bergen. The general theme for PARA 2000 was New paradigms for HPC in industry and academia focusing on: { High-performance computing applications in academia and industry, { The use of Java in high-performance computing, { Grid and Meta computing, { Directions in high-performance computing and networking, { Education in Computational Science. The workshop included 9 invited presentations and 39 contributed pres- tations. The PARA 2000 meeting began with a one-day tutorial on OpenMP programming led by Timothy Mattson. This was followed by a three-day wor- hop. The rst three PARA workshops were held at the Technical University of Denmark (DTU), Lyngby (1994, 1995, and 1996). Following PARA'96, an - ternational steering committee for the PARA meetings was appointed and the committee decided that a workshop should take place every second year in one of the Nordic countries. The 1998 workshop was held at Ume a University, Sweden. One important aim of these workshops is to strengthen the ties between HPC centers, academia, and industry in the Nordic countries as well as worldwide. The University of Bergen organized the 2000 workshop and the next workshop in the year 2002 will take place at the Helsinki University of Technology, Espoo, Finland.

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2001, held in Cambridge, MA, USA, in June 2001.The 11 revised full papers presented were carefully selected and improved during two rounds of reviewing and revision, and present state-of-the-art results in the area.

This volume contains the proceedings of the 21st International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to createaforumfordiscussingprogressintheapplicationandtheoryofPetrinets. Typically, the conferenceshave 100{150participants{ one third of these coming from industry while the rest are from universities and research institutions. The conferences always take place in the last week of June. The conference and a number of other activities are co-ordinated by a ste- ingcommittee withthe followingmembers: G.Balbo(Italy), J.Billlington(A- tralia), G.De Michelis(Italy), C.Girault(France), K.Jensen(Denmark), S.- magai (Japan), T. Murata (USA), C. A. Petri (Germany; honorary member), W. Reisig (Germany), G. Roucairol (France), G. Rozenberg (The Netherlands; chairman), and M. Silva (Spain). Otheractivitiesbeforeandduringthe2000conferenceincludedtoolpresen- tions and demonstrations, a meeting on \Interchange Formats," extensive int- ductorytutorials, twoadvancedtutorialson\HardwareDesign"and\Timedand Hybrid Automata," and two workshops on \Software Engineering" and \Pr- tical Use of High-Level Nets." The tutorial notes and workshop proceedings are not published in these proceedings, but copies are available from the organisers. The 2000 conference was organised by the CPN Group at the University of Aarhus, Denmark. We would like to thank the organisers (see next page) and their teams. WewouldliketothankverymuchallthosewhosubmittedpaperstothePetri net conference.We receiveda totalof 57submissions from 20di erent countries. This volume comprises the papers that were accepted for presentation. Invited lectures were given by Jordi Cortadella, Philippe Darondeau, Gregor Engels, Serge Haddad, Kim Guldstrand Larsen, and Ole Lehrmann Madsen.

This book constitutes the refereed proceedings of the 8th European PVM/MPI Users' Group Meeting held in Santorini (Thera), Greece in September 2001. The 50 revised papers presented together with seven abstracts of invited talks were carefully reviewed and selected. The papers are organized in topical sections on implementation, evaluation, and performance of PVM/MPI; extensions and improvements on PVM/MPI; tools for PVM and MPI; algorithms using message passing; and applications in science and engineering.

The PaCT-2001 (Parallel Computing Technologies) conference was a four-day conference held in Akademgorodok (Novosibirsk), September 3-7, 2001. This was the sixth international conference in the PaCT series, organized in Russia every odd year. The ?rst conference, PaCT-91, was held in Novosibirsk (Academgorodok), September 7-11, 1991. The next PaCT conferences were held in Obninsk (near Moscow), August 30 - September 4, 1993; in St.Petersburg, September 12-15, 1995; in Yaroslavl September 9-12, 1997; and in Pushkin (near St.Petersburg) from September 6-10, 1999. The PaCT proceedings are published by Springer- Verlag in the LNCS series. PaCT-2001 was jointly organized by the Institute of Computational Mat- maticsandMathematicalGeophysicsoftheRussianAcademyofSciences(No- sibirsk), the State University, and the State Technical University of Novosibirsk. The purpose of the conference was to bring together scientists working with theory, architecture, software, hardware, and solution of large-scale problems in order to provide integrated discussions on parallel computing technologies. The conference attracted about 100 participants from around the world. - thors from 17 countries submitted 81 papers. Of those submitted, 36 papers were selected for the conference as regular ones; there were also 4 invited - pers. In addition there were a number of posters presented. All the papers were internationally reviewed by at least three referees. As usual a demo session was organized for the participants.

This book examines the issues relevant to the design of vector and pipelined computer systems using the Cray X-MP/24. The purpose of the book is to help the readers arrive at a deep understanding of how vector processing systems really work. These insights will be useful to the scientist who would like to obtain maximum performance from a vector machine, to the computer science student, and to the compiler writer. The book can also be used to supplement a regular textbook in a graduate or senior level course in computer architecture. The book looks at the overall design of the Cray X-MP and then explores the operation of the machine by looking at detailed timings of various instructions and code segments. It examines such issues as instruction issues and buffering, handling of jump instructions, use of registers to hold intermediate results, memory conflicts resulting from vectorization, optimal vectorization of multiple statement loops, and synchronization problems with multi-tasking. Detailed Gantt charts are provided to guide the reader through the timing issues.

This book is the ?nal outcome of VECPAR 2000 - 4th International Meeting on Vector and Parallel Processing. VECPAR constitutes a series of conferences, which have been organized by the Faculty of Engineering of the University of Porto since 1993, with the main objective of disseminating new knowledge on parallel computing. Readership of This Book The book is aimed at an audience of researchers and graduate students in a broad range of scienti?c areas, including not only computer science, but also applied mathematics and numerical analysis, physics, and engineering. Book Plan From a total of 66 papers selected on the basis of extended abstracts for p- sentation at the conference, a subset of 34 papers were chosen during a second review process leading to their inclusion in the book, together with the invited talks. The book contains a total of 40 papers organized into 6 chapters, where each may appeal to people in di?erent but still related scienti?c areas. All ch- ters, with the exception of Chapter 6, are initiated by a short text, providing a quick overview of the organization and papers in the chapter. The 13 papers in Chapter 1 cover the aspects related to the use of multiple processors. Operating systems, languages and software tools for scheduling, and code transformation are the topics included in this chapter, initiated by the talk on computing over the Internet, entitled Grid Computing, byIan Foster

This volume contains the papers presented at the sixth workshop on Job Sched- ing Strategies for Parallel Processing, which was held in conjunction with the IPDPS 2000 Conference in Cancun, Mexico, on 1 May 2000. The papers have been through a complete refereeing process, with the full version being read and evaluated by ?ve to seven members of the program committee. We would like to take this opportunity to thank the program committee, Andrea Arpaci-Dusseau, Fran Berman, Steve Chapin, Allen Downey, Allan Gottlieb, Atsushi Hori, Phil Krueger, Richard Lagerstrom, Virginia Lo, Reagan Moore, Bill Nitzberg, Uwe Schwiegelshohn, and Mark Squillante, for an excellent job. Thanks are also due to the authors for their submissions, presentations, and ?nal revisions for this volume. Finally, we would like to thank the MIT Laboratory for Computer S- ence and the Computer Science Institute at the Hebrew University for the use of their facilities in the preparation of these proceedings. This was the sixth annual workshop in this series, which re?ects the continued interest in this ?eld. The previous ?ve were held in conjunction with IPPS'95 through IPPS/SPDP'99. Their proceedings are available from Springer-Verlag as volumes 949, 1162, 1291, 1459, and 1659 of the Lecture Notes in Computer Science series. The last two are also available on-line from Springer LINK.

This book provides a detailed account of real-time systems, including program structures for real-time, phases development analysis, and formal specification and verification methods of reactive systems.Real-Time and Multi-Agent Systems brings together the 3 key fields of current and future data-processing:- Distributed systems and applications;- Parallel scientific computing;- Real-time and manufacturing systems.It covers the basic concepts and theories, methods, techniques and tools currently used in the specification and implementation of applications and contains lots of examples as well as complete case studies.

This volume contains the papers presented at the f th workshop on Job SchedulingStrategiesforParallelProcessing, whichwasheldinconjunctionwith the IPPS/SPDP 99conference in San Juan, Puerto Rico, on April 16, 1999.The papers have been through a complete refereeing process, with the full version beingreadandevaluatedbyv etosevenmembersoftheprogramcommittee.We would like to take this opportunity to thank the program committee, Andrea Arpaci-Dusseau, Stephen Booth, Allen Downey, Allan Gottlieb, Atsushi Hori, PhilKrueger, RichardLagerstrom, MironLivny, VirginiaLo, ReaganMoore, Bill Nitzberg, UweSchwiegelshohn, KenSevcik, MarkSquillante, andJohnZahorjan, for an excellent job. Thanks are also due to the authors for their submissions, presentations, and nal revisionsfor this volume. Finally, we wouldlike to thank the MIT Laboratory for Computer Science and the Computer Science Institute at the Hebrew Universityfor the use of their facilities in the preparationof these proceedings. Thiswasthe fth annualworkshopinthis series, whichre?ectsthe continued interest in this eld. The previous four were held in conjunction with IPPS 95 through IPPS/SPDP 98. Their proceedings are available from Springer-Verlag as volumes 949, 1162, 1291, and 1459 of the Lecture Notes in Computer Science series. Sinceour rstworkshop, parallelprocessinghas evolvedtothe pointwhereit is no longer synonymous with scienti c computing on massively parallel sup- computers. In fact, enterprise computing on one hand and metasystems on the other hand often overshadow the original uses of parallel processing. This shift has underscored the importance of job scheduling in multi-user parallelsystems. Correspondingly, we had a session in the workshop devoted to job scheduling on standalonesystems, emphasizing gang scheduling, and another on scheduling for meta-systems. A third session continued the trend from previous workshops of discussing evaluation methodology and workloads. Aninnovationthisyearwasapaneldiscussiononthepossiblestandardization ofaworkloadbenchmarkthatwillservefortheevaluationofdi erentsche

This volume of the Lecture Notes in Computer Science series contains all papers accepted for presentation at the 10th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM'99), which took place at the ETH Zurich in Switzerland and was hosted by the Computer Engineering and Networking Laboratory, TIK. DSOM'99 is the tenth workshop in a series of annual workshops, and Zurich is proud to host this 10th anniversary of the IEEE/IFIP workshop. DSOM'99 follows highly successful meetings, the most recent of which took place in Delaware, U.S.A. (DSOM'98), Sydney, Australia (DSOM'97), and L'Aquila, Italy (DSOM'96). DSOM workshops attempt to bring together researchers from the area of network and service management in both industry and academia to discuss recent advancements and to foster further growth in this ?eld. In contrast to the larger management symposia IM (In- grated Network Management) and NOMS (Network Operations and Management S- posium), DSOM workshops follow a single-track program, in order to stimulate interaction and active participation. The speci?c focus of DSOM'99 is "Active Technologies for Network and Service Management," re?ecting the current developments in the ?eld of active and program- ble networks, and about half of the papers in this workshop fall within this category.