STOPA: a stochastic process algebra for the formal representation of cognitive systems
Natalia López, Manuel A. Nunez, Fernando L. Pelayo · IEEE International Conference on Cognitive Informatics · 2004
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.