Technical Report

Some Experiments using Term Rewriting Techniques for Concurrency

Details

Citation

Shankland C & Norrie K (1990) Some Experiments using Term Rewriting Techniques for Concurrency. Technical Report, CSD-TR-623. Royal Holloway and Bedford New College.

StatusPublished
Title of seriesTechnical Report
Number in seriesCSD-TR-623
Publication date31/12/1990
PublisherRoyal Holloway and Bedford New College