A practical technique for process abstraction (1993)

by G Bruns
Venue:4th Int. Conf. on Concurrency Theory (CONCUR'93), Lecture Notes in Computer Science 715