Reference:

Nikola Benes and Jan Kretinsky. Modal process rewrite systems. Technical report FIMU-RS-2012-02, Faculty of Informatics, Masaryk University, Brno, 2012.

Suggested BibTeX entry:

@techreport{DBLP:confictacBenesK12-techrep,
    author = {Nikola Benes and Jan Kretinsky},
    institution = {Faculty of Informatics, Masaryk University, Brno},
    number = {FIMU-RS-2012-02},
    title = {Modal Process Rewrite Systems},
    type = {Technical report},
    year = {2012}
}