| Document Date: 2009-05-07 18:44:00
Open Document File Size: 364,35 KBShare Result on Facebook
Company Distributed Systems / Refinement Lp / / Currency pence / / / Facility University of Illinois / California Institute of Technology / / IndustryTerm line convergence algorithm / reactive and parallel systems / control algorithms / message passing network / message passing systems / concurrent systems / generic operator / fold operator / sensor networks / multi-vehicle systems / continuous systems / timed and hybrid systems / correct solution / message passing algorithms / physical systems / agent pattern formation algorithms / autonomous vehicle systems / / Organization California Institute of Technology / University of Illinois / / Person Jerome White / / ProgrammingLanguage Erlang / Java / / Technology message passing algorithms / line convergence algorithm / agent pattern formation algorithms / control algorithms / Java / /
SocialTag |
Under consideration for publication in Formal Aspects of Computing Guaranteeing Convergence of Distributed Systems: From Specification to Implementation via Refinement K. Mani Chandy1 , Brian Go1 , Sayan Mitra2 , Concet