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