Step-Wise Development of Provably Correct Actor Systems.

Bernhard K. Aichernig, Benedikt Maderbacher

Browse the full ISoLA paper archive.