Title :
STOPA: a stochastic process algebra for the formal representation of cognitive systems
Author :
López, Natalia ; Nez, Manuel NÙ ; Pelayo, Fernando L.
Author_Institution :
Dept. Sistemas Informaticos y Programacion, Univ. Complutense de Madrid, Spain
Abstract :
We present a formal language to specify cognitive systems. In addition to the usual characteristics of these formalisms, our language features the possibility of including stochastic time. This kind of time is useful to represent systems where the delays are not controlled by fix amounts of time, but they are given by a probability distribution function.
Keywords :
cognitive systems; formal languages; probability; process algebra; stochastic processes; STOPA; cognitive systems; formal language; formal representation; probability distribution function; stochastic process algebra; stochastic time; Algebra; Cognitive informatics; Concurrent computing; Delay effects; Delay systems; Finishing; Formal languages; Probability distribution; Stochastic processes; Stochastic systems;
Conference_Titel :
Cognitive Informatics, 2004. Proceedings of the Third IEEE International Conference on
Print_ISBN :
0-7695-2190-8
DOI :
10.1109/COGINF.2004.1327460
