CIRCAL

"CIRCAL and the Representation of Communication, Concurrency and TIme", G. J. Mitre, ACM TOPLAS 7(2):270-298 (1985).