Browsing Τμήμα Πληροφορικής / Department of Computer Science by Author "Lynch, N."
Now showing items 1-1 of 1
-
Article
Automated implementation of complex distributed algorithms specified in the IOA language
Georgiou, Chryssis; Lynch, N.; Mavrommatis, Panayiotis; Tauber, J. A. (2009)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 ...