Nikola Benes, Jan Kretínský. Process Algebra for Modal Transition Systemses. In Ludek Matyska, Michal Kozubek, Tomás Vojnar, Pavel Zemcík, David Antos, editors, Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic. Volume 16 of OASICS, pages 9-18, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2010. [doi]
@inproceedings{BenesK10,
title = {Process Algebra for Modal Transition Systemses},
author = {Nikola Benes and Jan Kretínský},
year = {2010},
doi = {10.4230/OASIcs.MEMICS.2010.9},
url = {http://dx.doi.org/10.4230/OASIcs.MEMICS.2010.9},
tags = {process algebra, algebra},
researchr = {https://researchr.org/publication/BenesK10},
cites = {0},
citedby = {0},
pages = {9-18},
booktitle = {Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic},
editor = {Ludek Matyska and Michal Kozubek and Tomás Vojnar and Pavel Zemcík and David Antos},
volume = {16},
series = {OASICS},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
isbn = {978-3-939897-22-4},
}