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

Luke Hunsberger. Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies. In Carsten Lutz, Jean-François Raskin, editors, TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings. pages 155-162, IEEE Computer Society, 2009. [doi]

Abstract

Abstract is missing.