Semantic Models for Communicating Process with Value-Passing (1994)

by A Ing'olfsd'ottir