A Calculus of Higher-order Communicating Systems (1989)

by B Thomsen
Venue:Proc 16th An- nual Symposium on Principles of Programming Languages