Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Bogø, Benjamin"'
This paper explores the problem of determining which classes of Petri nets can be encoded into behaviourally-equivalent CCS processes. Most of the existing related literature focuses on the inverse problem (i.e., encoding process calculi belonging to
Externí odkaz:
http://arxiv.org/abs/2404.14385
