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]
@inproceedings{Duarte97, title = {Towards a Proof-Theoretic Foundation for Actor Specification and Verification}, author = {Carlos H. C. Duarte}, year = {1997}, url = {http://link.springer.de/link/service/series/0558/bibs/1760/17600123.htm}, tags = {C++}, researchr = {https://researchr.org/publication/Duarte97}, cites = {0}, citedby = {0}, pages = {123-142}, booktitle = {Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers}, editor = {John-Jules Ch. Meyer and Pierre Yves Schobbens}, volume = {1760}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-67027-0}, }