"Fully Abstract Denotational Models for Nonuniform Concurrent Languages"

Eiichi Horita, J. W. de Bakker, Jan J. M. M. Rutten (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics