Overview | Members | Publications | Useful Links

Research Overview and Activities

See grant description Distributed Commit Protocols: Interactive Simulation, Verification and Behavioural Analysis

Members

• Peter Thanisch
• Stephen Gilmore

Publications and Technical Reports