An enlarged definition and complete axiomatization of observational congruence of finite processes (1982)

by Darondeau
Venue:in: Lecture Notes in Computer Science 137