Fiore, Marcelo P.
-
BRICS Report Series Nr. 14 (1999): RS-14 Weak Bisimulation and Open Maps - Artikler
Weak Bisimulation and Open Maps
Resumé PDF (English) -
BRICS Report Series Nr. 35 (1997): RS-35 A Theory of Recursive Domains with Applications to Concurrency - Artikler
A Theory of Recursive Domains with Applications to Concurrency
Resumé PDF (English)