Abstract: This work presents a strategy for compiling distributed systems specified in IOA, a formal language for describing such systems as I/O automata, into Java programs running on a group of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results