Publications
Filters: Author is Ana Sokolova [Clear All Filters]
, “Special issue on Open Problems in Concurrency Theory”, J. Log. Algebraic Methods Program., vol. 130, p. 100823, 2023.
paper-822.pdf (168.6 KB)
paper-822.pdf (168.6 KB) paper-822.pdf (168.6 KB)