formal-systems-laboratory-at-university-of-illinois documents

A Rewriting Approach to Concurrent Programming Language Design and Semantics
Education A Rewriting Approach to Concurrent Programming Language Design and Semantics