Cheng, Allan
-
BRICS Report Series No. 2 (1996): RS-2 Open Maps, Behavioural Equivalences, and Congruences - Articles
Open Maps, Behavioural Equivalences, and Congruences
Abstract PDF -
BRICS Report Series No. 18 (1995): RS-18 Complexity Results for Model Checking - Articles
Complexity Results for Model Checking
Abstract PDF -
BRICS Report Series No. 23 (1995): RS-23 Open Maps (at) Work - Articles
Open Maps (at) Work
Abstract PDF -
BRICS Report Series No. 39 (1995): RS-39 Petri Nets, Traces, and Local Model Checking - Articles
Petri Nets, Traces, and Local Model Checking
Abstract PDF -
BRICS Report Series No. 17 (1994): RS-17 Local Model Checking and Traces - Articles
Local Model Checking and Traces
Abstract PDF