Model checking a modular-structured nonblocking atomic commitment protocol for asynchronous distributed systems
By: Eun-Hye Choi, Tatsuhiro Tsuchiya, Hohru Kikuno.
Contributors: Tsuchiya, Tatsuhiro.; Kikuno, Tōru.; Sangyō Gijutsu Sōgō Kenkyūjo. Shisutemu Kenshō Kenkyū Sentā
Series: Sanpu kagaku kenkyū sokuhō = Programming science technical report -- AIST-PS-2006-013
Publisher: Sangyō Gijutsu Sōgō Kenkyūjo Shisutemu Kenshō Kenkyū Sentā.
Published: 2006
Place of publication: [Toyonaka-shi]
Language: eng
Number of pages: 21