Panangaden, Prakash
-
BRICS Report Series No. 36 (1997): RS-36 Relational Semantics of Non-Deterministic Dataflow - Articles
Relational Semantics of Non-Deterministic Dataflow
Abstract PDF -
BRICS Report Series No. 4 (1997): RS-04 Bisimulation for Labelled Markov Processes - Articles
Bisimulation for Labelled Markov Processes
Abstract PDF