Simulating Concurrent Behaviors with Worst-Case Cost Bounds | Publicación