Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / Computer Science McGill University / Computing Imperial College / McGill University / Mathematics University of Ottawa Ottawa / /
IndustryTerm
stochastic systems / labelled transition systems / continuous state-space systems / chemical plant / concurrent systems / hybrid systems / transition systems / real-time systems / dynamical systems / /
Organization
Department of Computing Imperial College London / University of Aarhus / BRICS Department / School of Computer Science McGill University Montreal / Desharnais∗ Department / McGill University / Computer Science University of Aarhus Ny Munkegade / Mathematics University of Ottawa Ottawa / /
Person
Abbas Edalat Prakash Panangaden / Abbas Edalat†Prakash Panangaden / / /
BRICS Basic Research in Computer Science BRICS RS-97-4 Blute et al.: Bisimulation for Labelled Markov Processes Bisimulation for Labelled Markov Processes