Relational structures for concurrent behaviours

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski. Relational structures for concurrent behaviours. Theoretical Computer Science, 862:174-192, 2021. [doi]

Abstract

Abstract is missing.