On the random structure of behavioural transition systems

Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper. On the random structure of behavioural transition systems. Science of Computer Programming, 128:51-67, 2016. [doi]

Abstract

Abstract is missing.