Distributed Algorithms

Convergence Verification: From Shared Memory to Partially Synchronous Systems

Citation: Formal Modeling and Analysis of Timed Systems (FORMATS 08), September 2008
A Formalized Theory for Verifying Convergence and Stability of Automata in PVS

Citation: TPHOLS 2008, 21st International Conference on Theorem Proving in Higher Order Logics, Montreal, 18-21 August, 2008
Verifying Convergence of a Pattern Formation Protocol in PVS Theorem Prover

Citation: PVS Meta-theory for the paper "Convergence Verification: From Shared Memory to Partially Synchronous Systems". Submitted, May 2008.

Verifying_convergence_pattern_formation_PVS_meta_theory.zip
Exploring Interfaces Between Computer Science and Control and Dynamical Systems

Citation: Center for the Mathematics of Information, April 24, 2008

Exploring Interfaces Between Computer Science and Control and Dynamical Systems.pdf
Formations of Mobile Agents with Message Loss and Delay

Citation: Systems Workshop, Harvey Mudd, March 2008

Formations of Mobile Agents with Message Loss and Delay.pdf