The following pages link to Masaaki Mizuno (Q286965):
Displayed 8 items.
- Erratum to ``Nondominated \(k\)-coteries for multiple mutual exclusion'' (Q286966) (← links)
- Finite-state self-stabilizing protocols in message-passing systems (Q701139) (← links)
- A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments (Q1274286) (← links)
- A structured approach for developing concurrent programs in Java (Q1285677) (← links)
- Nondominated \(k\)-coteries for multiple mutual exclusion (Q1329419) (← links)
- A quorum-based self-stabilizing distributed mutual exclusion algorithm (Q1604317) (← links)
- A self-stabilizing quorum-based protocol for maxima computing (Q5138371) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308403) (← links)