Temporal Reasoning about Actor Systems.

Susanne Schacht, Udo Hahn

Browse the full EPIA paper archive.