Henry Tirri Simulation, Reduction and Preservation of Correctness Properties of Parallel Systems. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1983, v:17, n:1, pp:21-27 [Journal]
Manfred Broy Denotational Semantics of Communicating Processes Based on a Language for Applicative Multiprogramming. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1983, v:17, n:1, pp:29-35 [Journal]
Robert Endre Tarjan An Improved Algorithm for Hierarchical Clustering Using Strong Components. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1983, v:17, n:1, pp:37-41 [Journal]
S. P. Rana A Distributed Solution of the Distributed Termination Problem. [Citation Graph (1, 0)][DBLP] Inf. Process. Lett., 1983, v:17, n:1, pp:43-46 [Journal]