Real-time rewriting semantics of orc.

Musab AlTurki, Jos Meseguer

Browse the full PPDP paper archive.