$heading = "Distributed Systems"; include ("/home/icsa/www/head"); >
Overview | Members | Publications | Useful Links
See grant description Distributed Commit Protocols: Interactive Simulation, Verification and Behavioural Analysis