This book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations of proces

This book constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, h

This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José

The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof theoretical analogue of distributed message exchange between disjo