@Article{         PengPurushothaman:AI:1992,
  Author        = "Peng, Wuxu and Purushothaman, S.",
  affiliation   = "Department of Computer Science Southwest Texas State University 78666 San Marcos TX USA",
  date-added    = "2012-07-04 17:50:50 +0200",
  date-modified = "2019-03-01 11:44:51 +0100",
  ISSN          = "0001-5903",
  Issue         = "6",
  Journal       = "Acta Informatica",
  Keywords      = "communicating automata",
  Note          = "10.1007/BF01185558",
  Pages         = "499--522",
  Publisher     = "Springer Berlin / Heidelberg",
  Title         = "Analysis of a class of communicating finite state machines",
  URL           = "http://dx.doi.org/10.1007/BF01185558",
  Volume        = "29",
  Year          = "1992",
  bdsk-url-1    = "http://dx.doi.org/10.1007/BF01185558",
  File          = "Analysis of a class of communicating finite state machines - Peng, Purushothaman (0) (0) - a - a - v.pdf"
}

@Article{ PengPurushothaman:AI:1992, Author = "Peng, Wuxu and Purushothaman, S.", affiliation = "Department of Computer Science Southwest Texas State University 78666 San Marcos TX USA", date-added = "2012-07-04 17:50:50 +0200", date-modified = "2019-03-01 11:44:51 +0100", ISSN = "0001-5903", Issue = "6", Journal = "Acta Informatica", Keywords = "communicating automata", Note = "10.1007/BF01185558", Pages = "499--522", Publisher = "Springer Berlin / Heidelberg", Title = "Analysis of a class of communicating finite state machines", URL = "http://dx.doi.org/10.1007/BF01185558", Volume = "29", Year = "1992", bdsk-url-1 = "http://dx.doi.org/10.1007/BF01185558", File = "Analysis of a class of communicating finite state machines - Peng, Purushothaman (0) (0) - a - a - v.pdf" }