Petr Jančar, Martin Kot, Zdeněk Sawa Normed BPA vs. Normed BPP Revisited
in: MEMICS 2008 proceedings - 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Ing. Zdeněk Novotný CSc., 2008, ISBN 978-80-7355-082-0, page 259, Presentation of previously published paper |
pdf
|
Petr Jančar, Martin Kot, Zdeněk Sawa Normed BPA vs. Normed BPP Revisited
in: CONCUR 2008 - Concurrency Theory, 19th International Conference,
CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings, Lecture Notes in Computer Science 5201, Springer, 2008, ISBN 978-3-540-85360-2, pages 434-446, Best paper award |
pdf
presentation
BibTex item
SpringerLink |
Martin Kot Modeling Real-Time Database Concurrency Control Protocol Two-Phase-Locking in Uppaal
in: Proceedings of the International Multiconference on Computer Science and Information Technology, Volume 3 (2008), IEEE Computer Society Press, 2008, ISBN 978-83-60810-14-9, ISSN 1896-7094, pages 673-678 |
pdf
Proceedings page |
|