Abstract Machine Models have played a profound though frequently unacknowledged role in the development of modern computing systems. They provide a precise defi

The papers collected in this volume cover a wide range of issues relevant to abstract models, including terminology and concepts for abstract models of computat

This book focuses on advanced techniques used in the design of efficient parallel programs. It presents a wide variety of different models of parallel and distr

Parallel and distributed computation has been gaining a great lot of attention in the last decades. During this period, the advances attained in computing and c

Computer architecture deals with the physical configuration, logical structure, formats, protocols, and operational sequences for processing data, controlling t