The new book addresses the problem of developing distributed applications on wide-area networks, ...
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods...
The new book addresses the problem of developing distributed applications on wide-area networks, ...