Formal models of agents : ESPRIT project modelAge final Workshop : selected papers - Meyer, J.-J. Ch., 1954-; Schobbens, Pierre-Yves, 1961- (Lecture notes in computer science, 1999)