DocumentCode
3350205
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
fYear
2004
fDate
16-17 Aug. 2004
Firstpage
64
Lastpage
73
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Cognitive Informatics, 2004. Proceedings of the Third IEEE International Conference on
Print_ISBN
0-7695-2190-8
Type
conf
DOI
10.1109/COGINF.2004.1327460
Filename
1327460
Link To Document