Towards a Classification of Behavioural Equivalences in Continuous-time Markov ProcessesOpen Website

Linan Chen, Florence Clerc, Prakash Panangaden

Published: 01 Jan 2020, Last Modified: 14 May 2023MFPS 2020Readers: Everyone
0 Replies