To appear in Theoretical Computer Science. [Ing94] [Ing95a] [Mil80] [Mil89] A. Ingólfsdóttir. Semantic Models for Communicating Process with Value-Passing (1993)

by A Ingólfsdóttir