Termination Proofs for Logic Programs, Lutz Plümer

Temporal Logic for Real-Time Systems, Jonathan S. Ostroff

Parallel Execution of Logic Programs, J.S. Conery

Livre Exécutant Des Programmes De Logique Temporelle Ben Moszkowski 0521310997

Crafting and Executing Strategy, Arthur A Thompson

On the Fly: Executing Strategy in a Changing World, Stephen J. Wall

Executing SOA: A Practical Guide for the Service-Oriented Architect, Norbert Bie

Crafting and Executing Strategy: The Quest for Comptetitive Advantage: Concepts