• On Process-Algebraic Proof Met...

Treffer: On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems

Title:
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems
International Conference on Formal Methods for Open Object-Based Distributed Systems; Formal techniques for distributed systems: joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 internatio
Authors:
Kuhnrich, M., Nestmann, U.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (5522):198-212
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN072490159&indx=1&recIds=ETOCCN072490159
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings