C Programming for System, Network, and Cloud Engineers: Techniques for Processes

Formal Techniques for Networked and Distributed Systems - FORTE 2

Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP W

Spider, Spider by L.C. Winter Hardback

Formal Techniques for Distributed Objects Components and Systems