Nancy A. Lynch

Identifiers

• name variant Nancy A. Lynch 0.60 · backfill

Papers (1)

1. Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems cs.DC · 2016 · author #2

Mentions

• 1604.06030 #2 · arxiv_oai · confidence 0.70 Nancy A. Lynch

Frequent Coauthors

• Paul C. Attie 1 shared papers