Formal methods for Actor systems: A progress report.

Gul Agha

Browse the full FORTE paper archive.