Simulating Concurrent Behaviors with Worst-Case Cost Bounds.

Elvira Albert, Samir Genaim, Miguel Gmez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa

Browse the full FM paper archive.