| Document Date: 2008-11-27 02:42:43
Open Document File Size: 463,40 KBShare Result on Facebook
Company Formal Systems Ltd. / Goldman / Google / / / Event Man-Made Disaster / / Facility Computer Science University / Concurrency Factory / University of Cyprus / / IndustryTerm search method / search message / search od fi / distributed algorithm / complicated algorithm / distributed algorithms / message passing systems / distributed computing / verification tools / composer tool / external system services / abstract system services / finite-state concurrent systems / handshake protocols / external services / communication networks / distributed systems / distributed graph algorithms / presented distributed algorithms / compilation tool / / Organization Eventually Serializable Data Service of Luchangco / MIT / University of Cyprus / / Person Nancy Lynch / Nat / Joshua A. Tauber / Panayiotis Mavrommatis Google Joshua / / Position author / composer / Java interpreter / mediator / LCR Leader / model of network behavior / Implementing LCR Leader / producer / IOA programmer / model the external service / programmer / / Product Spectrum System / / ProgrammingLanguage Java / C++ / Occam / / Technology implemented algorithms / distributed algorithm / distributed graph algorithms / Java / sufficiently complicated algorithm / GHS algorithm / handshake protocols / ring algorithm / simulation / Asynchronous Spanning Tree algorithm / shared memory / complicated algorithm / presented distributed algorithms / /
SocialTag |
Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou† Dept. of Computer Science University of Cyprus