A calculus of communicating systems with name-passing (1986)

by U Engberg, M Nielsen