Reverse Engineering Distributed Algorithms
Published in Journal of Software Maintenance Research and Practice • Mar 1, 1996
Authors:,
Kaisa Sere
Marina Waldén
Abstract
Distributed systems are difficult for a human being to comprehend. Informal reasoning about the many parallel and decentralized activities in these systems is not trustworthy. Therefore formal tools for construction and maintenance of distributed systems are needed. We introduce a formal approach to...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!