Conference Proceeding
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.
Status | Published |
---|---|
Title of series | IFIP Transactions: Communication Systems |
Publication date | 31/12/1990 |
Publication date online | 30/11/1990 |
Publisher | North-Holland |
Place of publication | Amsterdam |
Conference | IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90 |
Conference location | Madrid, Spain |
Dates | – |