Rewriting as a Unified Model of Concurrency.

Jos Meseguer

Browse the full CONCUR paper archive.