Showing 1 - 5 results of 5 for search 'Tauber, Joshua A.', query time: 0.02s Refine Results
  1. 1
    Verifiable compilation of I/O automata without global synchronization

    Verifiable compilation of I/O automata without global synchronization by Tauber, Joshua A. (Joshua Allen)

    Published 2006
    Get full text
    Thesis
  2. 2
    Issues in building mobile-aware applications with the Rover Toolkit

    Issues in building mobile-aware applications with the Rover Toolkit by Tauber, Joshua A. (Joshua Allen)

    Published 2007
    Get full text
    Thesis
  3. 3
    Definition and Expansion of Composite Automata in IOA

    Definition and Expansion of Composite Automata in IOA by Tauber, Joshua A., Garland, Stephen J.

    Published 2005
    Get full text
  4. 4
    Implementing Asynchronous Distributed Systems Using the IOA Toolkit

    Implementing Asynchronous Distributed Systems Using the IOA Toolkit by Georgiou, Chryssis, Mavrommatis, Panayiotis P., Tauber, Joshua A.

    Published 2005
    Get full text
  5. 5
    Systematic Removal of Nondeterminism for Code Generation in I/O Automata

    Systematic Removal of Nondeterminism for Code Generation in I/O Automata by Vaziri, Mandana, Tauber, Joshua A., Tsai, Michael J., Lynch, Nancy

    Published 2005
    Get full text

Search Tools: