Login / Signup
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