Conference Proceeding

Some Experiments using Term Rewriting Techniques for Concurrency

Details

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.

StatusPublished
Title of seriesIFIP Transactions: Communication Systems
Publication date31/12/1990
Publication date online30/11/1990
PublisherNorth-Holland
Place of publicationAmsterdam
ConferenceIFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90
Conference locationMadrid, Spain
Dates