STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems

Natalia López, Manuel Núñez, Fernando L. Pelayo. STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems. In Christine W. Chan, Witold Kinsner, Yingxu Wang, D. Michael Miller, editors, Proceedings of the 3rd IEEE International Conference on Cognitive Informatics (ICCI 2004), 16-17 August 2004, Victoria, Canada. pages 64-73, IEEE Computer Society, 2004. [doi]

Abstract

Abstract is missing.