Title: Abstract Machine Models for Parallel and Distributed Computing, Author: M. Kara
Title: Cooperation in Heterogeneous Theorem Prover Networks, Author: Dirk Fuchs
Title: Optimal Control and Partial Differential Equations - Innovations and Applications, Author: J.L. Menaldi