@Article{         KarpMiller,
  Author        = "Karp, Richard and Miller, Raymond",
  date-added    = "2012-10-26 08:14:39 +0000",
  date-modified = "2012-10-26 08:21:50 +0000",
  Journal       = "SIAM Journal on Applied Mathematics",
  Keywords      = "communicating automata and unboundedness",
  Month         = "November",
  Number        = "6",
  Pages         = "1390--1411",
  Title         = "Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing",
  Volume        = "14",
  Year          = "1966",
  bdsk-url-1    = "http://www.jstor.org/stable/2946247",
  bdsk-url-2    = "http://cs.iupui.edu/\textasciitilde tuceryan/pdf-repository/Karp1966.pdf",
  File          = "Properties of a Model for Parallel Computations Determinacy, Termination, Queueing - Karp, Miller (0) (0) - a - a - u.pdf"
}

@Article{ KarpMiller, Author = "Karp, Richard and Miller, Raymond", date-added = "2012-10-26 08:14:39 +0000", date-modified = "2012-10-26 08:21:50 +0000", Journal = "SIAM Journal on Applied Mathematics", Keywords = "communicating automata and unboundedness", Month = "November", Number = "6", Pages = "1390--1411", Title = "Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing", Volume = "14", Year = "1966", bdsk-url-1 = "http://www.jstor.org/stable/2946247", bdsk-url-2 = "http://cs.iupui.edu/\textasciitilde tuceryan/pdf-repository/Karp1966.pdf", File = "Properties of a Model for Parallel Computations Determinacy, Termination, Queueing - Karp, Miller (0) (0) - a - a - u.pdf" }