ZLJCKER, Denotational semantics of concurrency (1982)

by J W DE BAKKER, J I
Venue:in “Proceedings, 14th ACM Symposium on Theory of Computing