Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies.

Luke Hunsberger

Browse the full TIME paper archive.