Applying Quasi-Separability to Markovian Process Algebra (1998)

by Nigel Thomas , Stephen Gilmore
Venue:University of Verona
Citations:8 - 4 self