Factorisation of transition systems

Raymond R. Devillers. Factorisation of transition systems. Acta Informatica, 55(4):339-362, 2018. [doi]

Abstract

Abstract is missing.