Treffer: Some Experiments Using Term Rewriting Techniques for Concurrency

Title:
Some Experiments Using Term Rewriting Techniques for Concurrency
Formal description techniques, III
Authors:
Kirkwood, C., Norrie, K.
Source:
FORMAL DESCRIPTION TECHNIQUES -INTERNATIONAL CONFERENCE-. CONF 3:527-530
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN000910612&indx=1&recIds=ETOCCN000910612
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings