Zaky - Tools and Environments for Parallel and Distributed Systems - N - X555z

DeMori - New Systems and Architectures for Automatic Speech Recognitio - X555z

Wang - Formal Techniques for Networked and Distributed Systems - FORTE - X555z

Communications Architecture for Distributed Systems

Bai - Smart Modeling and Simulation for Complex Systems Practice and - X555z

Suzuki - Formal Techniques for Networked and Distributed Systems - FOR - X555z

Dardha - Type Systems for Distributed Programs Components and Session - X555z

Modeling and Simulation of Complex Systems A Framework for Efficient - X555z