| Document Date: 2009-05-07 18:43:00
Open Document File Size: 333,28 KBShare Result on Facebook
Company Synchronous Systems / Shared State Systems / / Currency pence / / / Event FDA Phase / / Facility Concetta Pilotto California Institute of Technology Pasadena / / Holiday Assumption / / IndustryTerm state systems / sensor networks / unmanned vehicle coordination applications / mobile agent pattern formation algorithm / pattern formation protocol / wireless communication / consensus protocol / / Organization Concetta Pilotto California Institute of Technology Pasadena / / Person Ai / Concetta Pilotto / K. Mani Chandy / / Position model of communication / / Product PVS / / ProvinceOrState LBCast / Processi / / Technology consensus protocol / dom / pattern formation protocol / Shared Memory / mobile agent pattern formation algorithm / /
SocialTag |
Convergence Verification: From Shared Memory to Partially Synchronous Systems? K. Mani Chandy, Sayan Mitra, and Concetta Pilotto California Institute of Technology Pasadena, CA 91125 {mani,mitras,cetta}@caltech.edu