Treffer: Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering

Title:
Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering
Formal description techniques for distributed systems and communication protcols and protocol specification, testing and verification; Formal methods for protocol engineering and distributed systems
Authors:
Langendorfer, P., Konig, H.
Source:
:169-184
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN035368334&indx=1&recIds=ETOCCN035368334
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings