/
  • Search Results for 'Contentslistsavailableat Sciencedirect Theoreticalcomputersciencejournalhomepagewww.elsevier.com/locate/tcs Verificationofwell Formedcommunicatingrecursivestatemachines I'