Applying Quasi-Separability to Markovian Process Algebra (1998)

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