Relation-based semantics for concurrency

Noureddine Boudriga, Yahya Slimani, Ali Mili. Relation-based semantics for concurrency. Inf. Sci., 75(3):223-252, 1993. [doi]

Abstract

Abstract is missing.