Back to Results
First PageMeta Content
Theoretical computer science / Multi-agent system / Distributed computing / Actor model / Applied mathematics / Computing / Models of computation / Cybernetics / Mathematical logic / Mathematics / Algorithm


Towards Verified Distributed Software Through Refinement of Formal Archetypes K. Mani Chandy1 , Brian Go1 , Sayan Mitra2 , Jerome White1 1 2
Add to Reading List

Document Date: 2009-05-08 13:31:13

Open Document

File Size: 319,75 KB

Share Result on Facebook

/

Facility

University of Illinois / California Institute of Technology / /

IndustryTerm

mobile agent systems / consensus algorithms / shared-memory systems / mobile-agent systems / distributed control systems / agent algorithms / distributed systems algorithms / shared-memory algorithm / agent algorithm / control systems / pedagogical devices / sharedmemory algorithm / distributed computing / message-passing algorithm / message-passing systems / shared-state systems / multi-vehicle systems / continuous-state algorithms / theorems and algorithms / multi-robot systems / real-time constraints / /

Organization

California Institute of Technology / University of Illinois / Java Message Service / /

Position

Player / /

ProgrammingLanguage

Java / /

ProvinceOrState

Illinois / /

Technology

Consensus Protocols / consensus algorithms / Game Theoretic Algorithms / agent algorithms / shared-memory algorithm / sharedmemory algorithm / Java / message-passing algorithm / agent algorithm / distributed systems algorithms / PVS algorithms / Shared Memory / continuous-state algorithms / /

SocialTag