Carroll Morgan (NICTA

Identifiers

• name variant Carroll Morgan (NICTA 0.60 · backfill

Papers (1)

1. Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System cs.LO · 2015 · author #4

Mentions

• 1511.04170 #4 · backfill · confidence 0.70 Carroll Morgan (NICTA

Frequent Coauthors

• Corey Lewis (NICTA) 1 shared papers
• June Andronick (NICTA 1 shared papers
• UNSW) 1 shared papers