The theory of interactive generalized semi-Markov processes, (2002)

by M Bravetti, R Gorrieri
Venue:In. Theoretical Computer Science