Art
J-GLOBAL ID：202002269501867760   Reference number：20A1945087

Guessing Properties of the Qlock Mutual Exclusion Protocol based on its Graphical Animations and confirming the Properties by Model Checking

グラフィカルアニメーションに基づくQlock相互排除プロトコルの推測特性とモデル検査による特性確認【JST・京大機械翻訳】
Author (3)：
Aung May Thu

About Aung May Thu

(Univ. Info. Tech.)

About Univ. Info. Tech.

, 
Nguyen Tam Thi Than

About Nguyen Tam Thi Than

(Japan Adv. Inst. Sci. & Tech.)

About Japan Adv. Inst. Sci. & Tech.

, 
Ogata Kazuhiro

About Ogata Kazuhiro

(Japan Adv. Inst. Sci. & Tech.)

About Japan Adv. Inst. Sci. & Tech.


Material：
ACM Proceedings

About ACM Proceedings


Issue： ICSCA 2018  Page： 153-157  Publication year： 2018 
JST Material Number： D0698C  Document type： Proceedings
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)
Abstract/Point：
Abstract/Point
Japanese summary of the article(about several hundred characters).
All summary is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
The paper reports on a case st...
Register(free) or Log In to access 

Please login to MyJ-GLOBAL to see full information. You also need to select "Display abstract, etc. of medical articles" in your MyJ-GLOBAL account page in order to see abstracts, etc. of medical articles.

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A1945087&from=J-GLOBAL&jstjournalNo=D0698C") }}
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
case study

About case study

, 
*animation

About animation

, 
*mutual exclusion

About mutual exclusion

, 
*model checking

About model checking


Author keywords (6)：
Graphical animations

About Graphical animations

, 
Maude

About Maude

, 
model checking

About model checking

, 
mutual exclusion protocols

About mutual exclusion protocols

, 
properties

About properties

, 
state machines

About state machines

JST classification (1)：
JST classification
Category name(code) classified by JST.
Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
相互排除

About 相互排除

, 
プロトコル

About プロトコル

, 
推測

About 推測

, 
モデル検査

About モデル検査


Return to Previous Page

TOP

BOTTOM