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]
No references recorded for this publication.
No citations of this publication recorded.