All Theory of Computation Titles
Modeling Time in Computing
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
This book details the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. Each chapter is supplemented with detailed bibliographic remarks and exercises of varying difficulty and scope.
Mobility in Process Calculi and Natural Computing
Bogdan Aman, Gabriel Ciobanu
This volume refers to the formal description of mobility in computer science, using p-calculus, ambient calculus, bioambients, brane calculi, and systems of mobile membranes. Concepts are supported by examples and exercises, which makes it suitable for relevant courses.