Frendrup, Ulrik
-
BRICS Report Series No. 8 (2001): RS-8 Checking for Open Bisimilarity in the pi-Calculus - Articles
Checking for Open Bisimilarity in the pi-Calculus
Abstract PDF -
BRICS Report Series No. 26 (2001): RS-26 A Complete Axiomatization of Simulation for Regular CCS Expressions - Articles
A Complete Axiomatization of Simulation for Regular CCS Expressions
Abstract PDF