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

Authors:
Natalia Lopez;Manuel Nunez;Fernando L. Pelayo
Affiliations:
Universidad Complutense de Madrid;Universidad Complutense de Madrid;Universidad de Castilla-La Mancha
Venue:
ICCI '04 Proceedings of the Third IEEE International Conference on Cognitive Informatics
Year:
2004

Citing 0
Cited 4

A Context Driven Architecture for Cognitive Radio Nodes

Wireless Personal Communications: An International Journal
Testing Semantics for RTPA

Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
A comparative study of STOPA and RTPA

Transactions on computational science II
Testing Semantics for RTPA

Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper 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.