Back to Results
First PageMeta Content
Spanning tree / Computer programming / Models of computation / Message Passing Interface / Parallel computing / Algorithm / I/O Automaton / Model checking / Finite-state machine / Computing / Automata theory / Theoretical computer science


Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou Nancy Lynch
Add to Reading List

Document Date: 2005-11-11 05:43:22

Open Document

File Size: 217,57 KB

Share Result on Facebook

City

Nicosia / Philadelphia / San Mateo / Vancouver / Cambridge / Amsterdam / Toronto / International / /

Company

MIT Laboratory / North-Holland Publishing Co. / Goldman / Artificial Intelligence Laboratory / P. M. Lewis S. A. / Morgan Kaufmann Publishers Inc. / INMOS Ltd / Prentice-Hall International / J. A. Tauber N. A. / Information Processing 77 / /

Country

Netherlands / Cyprus / Canada / United Kingdom / /

Currency

GHS / /

/

Event

Man-Made Disaster / /

Facility

Concurrency Factory / The Concurrency Factory / Computer Science MIT CSAIL MIT CSAIL MIT CSAIL University of Cyprus Cambridge / /

IndustryTerm

distributed algorithm / complicated algorithm / distributed algorithms / message passing systems / distributed computing / verification tools / composer tool / distributed systems / search method / formal verification tools / simpler algorithms / finite-state concurrent systems / distributed graph algorithms / compilation tool / /

OperatingSystem

Linux / /

Organization

MIT / Congress / Eventually Serializable Data Service of Luchangco / Computer Science MIT CSAIL MIT CSAIL MIT CSAIL University of Cyprus Cambridge / /

Person

X. Li / M. Baker / Gilchrist / B. Carpenter / S. H. Ko / D. Gupta / V / T. P. McCartney / /

Position

editor / composer / mediator / leader / Java interpreter / model of network behavior / programmer / Carpenter / /

Product

Spectrum System / /

ProgrammingLanguage

Java / Occam / C++ / /

ProvinceOrState

British Columbia / Pennsylvania / California / Massachusetts / /

PublishedMedium

IEEE Transactions on Software Engineering / IEEE Transactions on Information Theory / Theoretical Computer Science / Communications of the ACM / /

Technology

LAN / sufficiently complicated algorithm / Linux / shared memory / pdf / distributed algorithm / distributed graph algorithms / Java / GHS algorithm / simulation / complicated algorithm / /

URL

http /

SocialTag