PMAN4 - SEL@KIT

研究会・全国大会等

inproceedings

Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems

2006年12月
第４回ディペンダブルソフトウェアワークショップ(DSW06-2) /

Eun-Hye Choi
Keishi Okamoto
Tatsuhiro Tsuchiya
Tohru Kikuno

URLがありません

概要

概要がありません

タグ

asynchronous atomic checking commitment distributed model modular-structured nonblocking protocol systems

ファイル

ファイルがありません

BibTeX

Copyright © 2025 omzn.aquatan.net a.k.a. Osamu Mizuno All rights reserved.

ここのリストで表示される文献は，SEL@KIT在籍者に関連するもののみになります．