Federico Bergenti, Giovanni Rimassa, Mirko Viroli. Operational Semantics for Agents by Iterated Refinement. In João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni, editors, Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers. Volume 2990 of Lecture Notes in Computer Science, pages 37-53, Springer, 2003. [doi]
Abstract is missing.