Asynchronous wreath product and cascade decompositions for concurrent behaviours

Bharat Adsul, Paul Gastin, Saptarshi Sarkar 0001, Pascal Weil. Asynchronous wreath product and cascade decompositions for concurrent behaviours. Logical Methods in Computer Science, 18(2), 2022. [doi]

Abstract

Abstract is missing.