1 paper
Masaya Suzuki, Takuo Watanabe
This paper presents an approach towards specifying and verifying adaptive distributed systems. We here take fault-handling as an example of adaptive behavior and propose a modeling…