|
| Keyword : mutual exclusion
|
Choice Disjunctive Queries in Logic Programming
Keehang KWON Daeseong KANG | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2023/03/01
Vol. E106-D
No. 3 ;
pp. 333-336
Type of Manuscript:
Special Section LETTER (Special Section on Foundations of Computer Science — Foundations of Computer Science Supporting the Information Society —)
Category:
Keyword:
game semantics, cut, mutual exclusion, | | | Summary | Full Text:PDF | |
|
Accelerating Reachability Analysis on Petri Net for Mutual Exclusion-Based Deadlock Detection
Yunkai DU Naijie GU Xin ZHOU | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/12/01
Vol. E99-D
No. 12 ;
pp. 2978-2985
Type of Manuscript:
Special Section PAPER (Special Section on Parallel and Distributed Computing and Networking)
Category: Distributed system
Keyword:
deadlock detection, Petri-net, mutual exclusion, reachability, | | | Summary | Full Text:PDF | |
| |
| |
| |
| |
| |
| |
|
Design of a Dynamic Mutual Exclusion Algorithm for a Distributed Network of Autonomous Nodes
Kenji ONAGA Morikazu NAKAMURA Seiki KYAN | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/03/25
Vol. E76-A
No. 3 ;
pp. 387-398
Type of Manuscript:
Special Section PAPER (Special Section on the 5th Karuizawa Workshop on Circuits and Systems)
Category:
Keyword:
distributed network, autonomous node, mutual exclusion, protocol, | | | Summary | Full Text:PDF | |
| |
|
|