Hsu-Chun Yen A Polynomial Time Algorithm to Decide Pairwise Concurrency of Transitions for 1-Bounded Conflict-Free Petri Nets. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1991, v:38, n:2, pp:71-76 [Journal]

Xavier Messeguer Dynamic Behaviour in Updating Process Over BST of Size Two with Probabilistic Deletion Algorithms. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1991, v:38, n:2, pp:89-100 [Journal]