Masaaki Mizuno

Available identifiers

Publication	Date of Publication	Type
A timestamp based transformation of self-stabilizing programs for distributed computing environments	2024-07-11	Paper
A self-stabilizing quorum-based protocol for maxima computing	2020-12-03	Paper
Erratum to ``Nondominated \(k\)-coteries for multiple mutual exclusion	2016-05-26	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Finite-state self-stabilizing protocols in message-passing systems	2002-10-16	Paper
A quorum-based self-stabilizing distributed mutual exclusion algorithm	2002-07-04	Paper
A structured approach for developing concurrent programs in Java	1999-04-28	Paper
A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments	1999-01-12	Paper
Nondominated \(k\)-coteries for multiple mutual exclusion	1994-07-04	Paper

This page was built for person: Masaaki Mizuno