Won Ho CHUNG


A Distributed Mutual Exclusion Algorithm Based on Weak Copy Consistency
Seoung Sup LEE Ha Ryoung OH June Hyoung KIM Won Ho CHUNG Myunghwan KIM 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1992/05/25
Vol. E75-D  No. 3  pp. 298-306
Type of Manuscript:  PAPER
Category: Computer Networks
Keyword: 
distributed algorithmmutual exclusioncritical sectionweak copy consistency
 Summary | Full Text:PDF

Satisfiability Testing for Non-clausal Propositional Calculus by Using Petri Nets
Won Ho CHUNG Ha Ryoung OH Myunghwan KIM 
Publication:   IEICE TRANSACTIONS (1976-1990)
Publication Date: 1990/04/25
Vol. E73-E  No. 4  pp. 539-544
Type of Manuscript:  PAPER
Category: Graphs and Networks
Keyword: 
 Summary | Full Text:PDF