Loading [a11y]/accessibility-menu.js
STOPA: a stochastic process algebra for the formal representation of cognitive systems | IEEE Conference Publication | IEEE Xplore

STOPA: a stochastic process algebra for the formal representation of cognitive systems

Publisher: IEEE

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 includin...View more

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.
Date of Conference: 17-17 August 2004
Date Added to IEEE Xplore: 30 August 2004
Print ISBN:0-7695-2190-8
Publisher: IEEE
Conference Location: Victoria, BC, Canada

References

References is not available for this document.