Synapses as stochastic concurrent systems.

Andrea Bracciali Marcello Brunelli Enrico Cataldo Pierpaolo Degano

Published in: Theor. Comput. Sci. (2008)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
transition systems
formal specification
petri net
model checking
stochastic nature
data sets
network model
learning automata
reverse engineering
stochastic model
monte carlo
knowledge based systems
open source
artificial intelligence