Showing 1 - 4 results of 4 for search 'Attie, Paul C.', query time: 0.02s Refine Results
  1. 1
    Dynamic input/output automata: A formal and compositional model for dynamic systems

    Dynamic input/output automata: A formal and compositional model for dynamic systems by Attie, Paul C., Lynch, Nancy Ann

    Published 2018
    Get full text
    Get full text
    Article
  2. 2
    Dynamic Input/Output Automata: A Formal Model for Dynamic Systems

    Dynamic Input/Output Automata: A Formal Model for Dynamic Systems by Attie, Paul C., Lynch, Nancy A.

    Published 2005
    Get full text
  3. 3
    Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems

    Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems by Attie, Paul C., Lynch, Nancy A.

    Published 2013
    Get full text
  4. 4
    Boosting Fault-Tolerance in Asynchronous Message Passing Systems is Impossible

    Boosting Fault-Tolerance in Asynchronous Message Passing Systems is Impossible by Attie, Paul C., Lynch, Nancy A., Rajsbaum, Sergio

    Published 2023
    Get full text

Search Tools: