Computer-aided Verification of Coordinating Processes: the automatatheoretic approach (1994)

by R Kurshan