A decomposition theorem for finite persistent transition systems

Eike Best, Philippe Darondeau. A decomposition theorem for finite persistent transition systems. Acta Informatica, 46(3):237-254, 2009. [doi]

Abstract

Abstract is missing.