A Calculus of Higher Order Communicating Systems

Bent Thomsen. A Calculus of Higher Order Communicating Systems. In POPL. pages 143-154, 1989.

Abstract

Abstract is missing.