On Decidability of Persistence Notions

Kamila Barylska, Lukasz Mikulski. On Decidability of Persistence Notions. In Zbigniew Suraj, Ludwik Czaja, editors, Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, Rzeszow, Poland, September 28-30, 2015. Volume 1492 of CEUR Workshop Proceedings, pages 44-56, CEUR-WS.org, 2015. [doi]


Abstract is missing.