"Deriving Failures Models for Nonuniform Concurency from Structured ..."

Eiichi Horita (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics