Calculi for Higher-Order Communicating Systems (1990)

by B Thomsen