Mukund, Madhavan
-
DAIMI Report Series Nr. 395 (1992): PB-395 CCS, Locations and Asynchronous Transition Systems - Articles
CCS, Locations and Asynchronous Transition Systems
Resumé PDF (English) -
DAIMI Report Series Nr. 399 (1992): PB-399 Transition System Models for Concurrency - Articles
Transition System Models for Concurrency
Resumé PDF (English) -
DAIMI Report Series Nr. 460 (1993): PB-460 Determinizing Asynchronous Automata - Articles
Determinizing Asynchronous Automata
Resumé PDF (English)