Automated implementation of complex distributed algorithms specified in the IOA language

@article{Georgiou2005AutomatedIO,
  title={Automated implementation of complex distributed algorithms specified in the IOA language},
  author={Chryssis Georgiou and Nancy A. Lynch and Panayiotis Mavrommatis and Joshua A. Tauber},
  journal={International Journal on Software Tools for Technology Transfer},
  year={2005},
  volume={11},
  pages={153-171}
}
IOA is a formal language for describing Input/Output automata that serves both as a formal specification language and as a programming language (Garland et al. in http://theory.lcs.mit.edu/tds/ioa/manual.ps , 2004). The IOA compiler automatically translates IOA specifications into Java code that runs on a set of workstations communicating via the Message Passing Interface. This paper describes the process of compiling IOA specifications and our experiences running several distributed algorithms… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 14 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 36 references

Implementing asynchronous distributed systems using the IOA toolkit

  • C. Georgiou, P. Mavrommatis, J. A. Tauber
  • Technical Report MIT/LCS/TR-966,
  • 2004
Highly Influential
4 Excerpts

Distributed Algorithms

  • N. Lynch
  • 1996
Highly Influential
5 Excerpts

IOA user guide and reference manual

  • S. Garland, N. Lynch, J. Tauber, M. Vaziri
  • Technical Report MIT/LCS/TR-961,
  • 2004
Highly Influential
3 Excerpts

Code generation for the IOA language

  • M. J. Tsai
  • Master’s thesis, Department of Electrical…
  • 2002
Highly Influential
5 Excerpts

MPI: A message-passing interface standard

  • M.P.I. Forum
  • International Journal of Supercomputer…
  • 1994
Highly Influential
8 Excerpts

Automated implementation of complex distributed algorithms specified in the IOA language

  • C. Georgiou, N. Lynch, P. Mavrommatis, J. A. Tauber
  • Proceedings of 18 th International Conference on…
  • 2005

Similar Papers

Loading similar papers…