Engberg : A Calculus of Communicating Systems with Label Passing (1986)

by Nielson