Carlos H. C. Duarte. Towards a Proof-Theoretic Foundation for Actor Specification and Verification. In John-Jules Ch. Meyer, Pierre Yves Schobbens, editors, Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers. Volume 1760 of Lecture Notes in Computer Science, pages 123-142, Springer, 1997. [doi]
Abstract is missing.