19 citations · 19 across the 1 of their papers we have counts for
1 paper · 1 filter
June Andronick, Corey Lewis, Carroll Morgan
We introduce a controlled concurrency framework, derived from the Owicki-Gries method, for describing a hardware interface in detail sufficient to support the modelling and verific…