Fast computing of concurrency measure and mutual exclusion,” Paris-Sud Univ (1988)

by D deniet, L Thimonier
Venue:WI J. Hartmanis and