David, Nuno; Sichman, Jaime Simão; Coelho, Helder - In: Journal of Artificial Societies and Social Simulation 8 (2005) 4, pp. 2-2
The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of program verification in computer science,...