Book Chapter
Specification architectures
KJ Turner, R SINNOTT
Formal methods for distributed processing: a survey of object-oriented approaches | Cambridge University Press | Published : 2001
Abstract
Originally published in 2002, this book presents techniques in the application of formal methods to object-based distributed systems.