Model checking a modular-structured nonblocking atomic commitment protocol for asynchronous distributed systems (Programming science technical report = 算譜科学研究速報 ; AIST-PS-2006-13)

Model checking a modular-structured nonblocking atomic commitment protocol for asynchronous distributed systems

(Programming science technical report = 算譜科学研究速報 ; AIST-PS-2006-13)

Call No. (NDL): M159-B60
Bibliographic ID of National Diet Library: 000008357932

Material type: 図書

Author: [by] Eun-Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno

Publisher: Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology

Publication date: 2006.11

Material Format: Paper

Capacity, size, etc.: 21 p. ; 30 cm

NDC: -

View All

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
Title: Model checking a modular-structured nonblocking atomic commitment protocol for asynchronous distributed systems
Author/Editor: [by] Eun-Hye Choi, Tatsuhiro Tsuchiya, Tohru Kikuno
Series Title: Programming science technical report = 算譜科学研究速報 ; AIST-PS-2006-13
Author/Editor (Series Title): 産業技術総合研究所システム検証研究センター編
Publication, Distribution, etc.: Ikeda : Research Center for Verification and Semantics, National Institute of Advanced Industrial Science and Technology
Publication Date: 2006.11
Publication Date (W3CDTF): 2006
Extent: 21 p.
Size: 30 cm
Alternative Title: モジュラー構造の非ブロッキング原子コミットプロトコルのモデル検査モジュラーコウゾウノヒブロッキングゲンシコミットプロトコルノモデルケンサ
Place of Publication (Country Code): JP
Text Language Code: eng
NDLC: M159
Target Audience: 一般
Holding library: 国立国会図書館
Call No.: M159-B60
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000008357932
http://id.ndl.go.jp/bib/000008357932
National Bibliography No. (JPNO): 21133466
Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
Bibliographic Record Category (NDL): 113