Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report.

Jos Meseguer

Browse the full CONCUR paper archive.