Carlos H. C. Duarte Towards a Proof-Theoretic Foundation for Actor Specification and Verification. [Citation Graph (0, 0)][DBLP] ModelAge Workshop, 1997, pp:123-142 [Conf]

Carlos H. C. Duarte Proof-theoretic foundations for the design of actor systems. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1999, v:9, n:3, pp:227-252 [Journal]