Markov concurrent processes (2010)

by Samy Abbes
Venue:Programmes et Systèmes