5 citations · 10 across the 6 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2024
Quasi-stratified Order Semantics of Concurrency
Maciej Koutny, Lukasz Mikulski
In the development of operational semantics of concurrent systems, a key decision concerns the adoption of a suitable notion of execution model, which basically amounts to choosing…
cs.FL2021
Investigating Reversibility of Steps in Petri Nets
David de Frutos Escrig, Maciej Koutny, Łukasz Mikulski
In reversible computations one is interested in the development of mechanisms allowing to undo the effects of executed actions. The past research has been concerned mainly with rev…