• Concurrency Based Transition R...

Treffer: Concurrency Based Transition Refinement for the Verification of Distributed Algorithms

Title:
Concurrency Based Transition Refinement for the Verification of Distributed Algorithms
Petri net technologies for modeling communication-based systems
Authors:
Peuker, S.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. :430-454
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN050534443&indx=1&recIds=ETOCCN050534443
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings