Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems by Elvira Albert, Ivan Lanese.
Published by Springer, (2016), Paperback, 275 pages.
Topics: Electronic data processing, distributed processing, Computer network protocols, Computer science.