It is widely recognized that the complexity of parallel and distributed systems is such that proper tools must be employed during their design stage in order to achieve the quantitative goals for which they are intended. This volume collects recent research results obtained within the Basic Research Action Qmips, which bears on the quantitative analysis of parallel and distributed architectures. Part 1 is devoted to research on the usage of general formalisms stemming from theoretical computer science in quantitative performance modeling of parallel systems. It contains research papers on process algebras, on Petri nets, and on queueing networks. The contributions in Part 2 are concerned with solution techniques. This part is expected to allow the reader to identify among the general formalisms of Part I, those that are amenable to an efficient mathematical treatment in the perspective of quantitative information. The common theme of Part 3 is the application of the analytical results of Part 2 to the performance evaluation and optimization of parallel and distributed systems. Part 1. Stochastic Process Algebras are used by N. Gotz, H. Hermanns, U. Herzog, V. Mertsiotakis and M. Rettelbach as a novel approach for the struc tured design and analysis of both the functional behaviour and performability (i.e performance and dependability) characteristics of parallel and distributed systems. This is achieved by integrating stochastic modeling and analysis into the powerful and well investigated formal description techniques of process algebras."

This fundamental exposition of queueing theory, written by leading researchers, answers the need for a mathematically sound reference work on the subject and has become the standard reference. The thoroughly revised second edition contains a substantial number of exercises and their solutions, which makes the book suitable as a textbook.

The Palm theory and the Loynes theory of stationary systems are the two pillars of the modern approach to queuing. This book, presenting the mathematical foundations of the theory of stationaryqueuing systems, contains a thorough treatment of both of these.

This approach helps to clarify the picture, in that it separates the task of obtaining the key system formulas from that of proving convergence to a stationary state and computing its law.

The theory is constantly illustrated by classical results and models: Pollaczek-Khintchin and Tacacs formulas, Jackson and Gordon-Newell networks, multiserver queues, blocking queues, loss systems etc., but it also contains recent and significant examples, where the tools developed turn out to be indispensable.

Several other mathematical tools which are useful within this approach are also presented, such as the martingale calculus for point processes, or stochastic ordering for stationary recurrences.

This thoroughly revised second edition contains substantial additions - in particular, exercises and their solutions - rendering this now classic reference suitable for use as a textbook.

Stochastic Geometry and Wireless Networks, Part II: Applications focuses on wireless network modeling and performance analysis. The aim is to show how stochastic geometry can be used in a more or less systematic way to analyze the phenomena that arise in this context. It first focuses on medium access control mechanisms used in ad hoc networks and in cellular networks. It then discusses the use of stochastic geometry for the quantitative analysis of routing algorithms in mobile ad hoc networks. The appendix also contains a concise summary of wireless communication principles and of the network architectures considered in this and the previous volume entitled Stochastic Geometry and Wireless Networks, Part I: Theory.

This volume discusses wireless network modeling and performance analysis with the aim of showing how stochastic geometry can be used in a more or less systematic way to analyze the phenomena that arise in this context. The book first focuses on medium access control mechanisms used in ad hoc networks and in cellular networks. It then discusses the use of stochastic geometry for the quantitative analysis of routing algorithms in mobile ad hoc networks. The appendix also contains a concise summary of wireless communication principles and of the network architectures considered in the two volumes.

Queueing systems and networks are being applied to many areas of technology today, including telecommunications, computers, satellite systems, and traffic processes. This timely book, written by 26 of the most respected and influential researchers in the field, provides an overview of fundamental queueing systems and networks as applied to these technologies.
Frontiers in Queueing: Models and Applications in Science and Engineering was written with more of an engineering slant than its predecessor, Advances in Queueing: Theory, Methods, and Open Problems. The earlier book was primarily concerned with methods, and was more theoretically oriented. This new volume, meant to be a sequel to the first book, was written by scientists and queueing theorists whose expertise is in technology and engineering, allowing readers to answer questions regarding the technicalities of related methods from the earlier book.
Each chapter in the book surveys the classes of queueing models and networks, or the applied methods in queueing, and is followed by a discussion of open problems and future research directions. The discussion of these future trends is especially important to novice researchers, students, and even their advisors, as it provides the perspectives of eminent scientists in each area, thus showing where research efforts should be focused. Frontiers in Queueing: Models and Applications in Science and Engineering also includes applications to vital areas of engineering and technology, specifically, telecommunications, computers and computer networks, satellite systems, traffic processes, and more applied methods such as simulation, statistics, and numerical methods. All researchers, from students to advanced professionals, can benefit from the sound advice and perspective of the contributors represented in this book.