Federico Bergenti, Giovanni Rimassa, Mirko Viroli. Operational semantics for agents: the grey-box modeling approach. In The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings. pages 934-935, ACM, 2003. [doi]
Abstract is missing.