Amir Pnueli The Temporal Semantics of Concurrent Programs. [Citation Graph (0, 0)][DBLP] Semantics of Concurrent Computation, 1979, pp:1-20 [Conf]
Karl R. Abrahamson Modal Logic of Concurrent Nondeterministic Programs. [Citation Graph (0, 0)][DBLP] Semantics of Concurrent Computation, 1979, pp:21-33 [Conf]
Otthein Herzog Static Analysis of Concurrent Processes for Dynamic Properties Using Petri Nets. [Citation Graph (0, 0)][DBLP] Semantics of Concurrent Computation, 1979, pp:66-90 [Conf]
Gérard Memmi Notion de Dualité et de Symétrie dans les Réseuaux de Pétri. [Citation Graph (0, 0)][DBLP] Semantics of Concurrent Computation, 1979, pp:91-108 [Conf]
Ryszard Janicki A Characterization of Concurrency-Like Relations. [Citation Graph (0, 0)][DBLP] Semantics of Concurrent Computation, 1979, pp:109-122 [Conf]
Yat-Sang Kwong On the Absence of Livelocks in Parallel Programs. [Citation Graph (0, 0)][DBLP] Semantics of Concurrent Computation, 1979, pp:172-190 [Conf]
William W. Wadge An Extensional Treatment of Dataflow Deadlock. [Citation Graph (0, 0)][DBLP] Semantics of Concurrent Computation, 1979, pp:285-299 [Conf]