DMCA

A Fully Abstract Denotational Model for Communicating Processes with Label-Passing (1995)

by Eiichi Horita , Fer-jan De Vries