Synapses as Stochastic Concurrent Systems