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: 2010-05-27 16:01:56

Open Document

File Size: 319,75 KB

Share Result on Facebook
UPDATE