Modal Process Rewrite Systems.

Nikola Benes, Jan Kretnsk

Browse the full ICTAC paper archive.