Some Experiments using Term Rewriting Techniques for Concurrency

Citation

Shankland C & Norrie K (1990) Some Experiments using Term Rewriting Techniques for Concurrency. In: Quemada J, Manas J & Vazquez E (eds.) Formal Description Techniques, III: Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990. IFIP Transactions: Communication Systems. IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 05.11.1990-08.11.1990. Amsterdam: North-Holland, pp. 527-530.