Entry Wuxu:1991:UAD from lncs1991.bib

Last update: Sun Jun 12 02:46:39 2016

Index sections

Top | Symbols | Numbers | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Wuxu:1991:UAD,
  author =       "Peng Wuxu and S. Purushothaman",
  title =        "A Unified Approach to the Deadlock Detection Problem
                 in Networks of Communicating Finite State Machines",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "531",
  pages =        "243--??",
  year =         "1991",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Mon May 13 08:51:55 MDT 1996",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs1991.bib",
  acknowledgement = ack-nhfb,
}

Related entries

approach, 473(0)487, 496(0)297, 497(0)276, 497(0)675, 498(0)319, 498(0)525, 499(0)87, 499(0)260, 502(0)286, 502(0)360, 502(0)433, 503(0)71, 504(0)144, 505(0)1, 506(0)313, 507(0)51, 507(0)213, 507(0)256, 507(0)357, 508(0)267, 513(0)1, 519(0)320, 520(0)103, 520(0)141, 521(0)193, 521(0)456, 521(0)479, 521(0)520, 528(0)195, 530(0)138, 530(0)140, 532(0)24, 532(0)144, 532(0)238, 532(0)430, 534(0)266, 535(0)127, 535(0)220, 536(0)181, 537(0)274, 538(0)1, 539(0)1, 541(0)180, 541(0)210, 541(0)250, 541(0)264, 542(0)112, 544(0)3, 547(0)387, 547(0)458, 548(0)107, 548(0)198, 548(0)227, 548(0)277, 548(0)282, 548(0)338, 549(0)167, 549(0)322, 549(0)455, 550(0)37, 550(0)166, 551(0)10, 551(0)164, 551(0)220, 555(0)152, 557(0)83, 571(0)307, 571(0)341, 575(0)83, 575(0)103, 575(0)477
Communicating, 527(0)61, 551(0)149, 571(0)451, 575(0)114
deadlock, 499(0)125, 575(0)332
detection, 497(0)532, 505(0)137, 507(0)1, 511(0)188, 511(0)227, 511(0)273, 523(0)241, 528(0)323, 528(0)335, 539(0)183, 539(0)456
finite, 497(0)55, 502(0)33, 508(0)280, 508(0)329, 508(0)354, 510(0)506, 510(0)532, 516(0)100, 520(0)221, 520(0)367, 521(0)173, 528(0)395, 529(0)45, 529(0)136, 529(0)287, 531(0)186, 537(0)109, 539(0)352, 541(0)1, 541(0)17, 567(0)425, 575(0)114
machines, 496(0)226, 503(0)44, 505(0)6, 520(0)426, 521(0)413, 523(0)618, 526(0)771, 529(0)248, 531(0)23, 531(0)322, 535(0)59, 575(0)466
network, 496(0)259, 496(0)274, 496(0)284, 496(0)297, 496(0)314, 496(0)343, 497(0)360, 497(0)431, 497(0)628, 497(0)642, 497(0)645, 497(0)669, 497(0)687, 499(0)168, 502(0)433, 505(0)69, 505(0)252, 507(0)84, 507(0)139, 507(0)392, 519(0)343, 521(0)86, 521(0)97, 521(0)239, 521(0)528, 521(0)548, 521(0)562, 521(0)578, 521(0)588, 522(0)27, 529(0)126, 530(0)261, 539(0)152, 542(0)193, 547(0)302, 548(0)12, 548(0)262, 549(0)127, 549(0)420, 553(0)103, 555(0)1, 555(0)283, 557(0)316, 565(0)183, 565(0)196, 567(0)199
problem, 496(0)55, 496(0)70, 496(0)98, 496(0)109, 496(0)129, 496(0)188, 496(0)343, 496(0)363, 496(0)430, 496(0)445, 497(0)44, 497(0)66, 497(0)323, 497(0)421, 497(0)455, 497(0)471, 497(0)599, 507(0)111, 508(0)11, 510(0)314, 510(0)556, 510(0)629, 510(0)719, 510(0)751, 511(0)326, 514(0)42, 515(0)1, 519(0)65, 519(0)80, 519(0)105, 519(0)165, 519(0)189, 519(0)240, 519(0)286, 519(0)355, 519(0)392, 519(0)449, 520(0)211, 520(0)259, 520(0)287, 520(0)318, 520(0)337, 520(0)415, 521(0)260, 521(0)298, 521(0)469, 522(0)64, 529(0)45, 529(0)68, 529(0)86, 529(0)210, 529(0)258, 529(0)415, 530(0)94, 531(0)1, 531(0)146, 533(0)95, 535(0)112, 537(0)169, 538(0)1, 543(0)208, 547(0)337, 550(0)512, 553(0)1, 553(0)217, 554(0)1, 555(0)298, 555(0)306, 557(0)22, 557(0)190, 557(0)364, 557(0)375, 560(0)10, 560(0)242, 563(0)63, 565(0)137, 565(0)157, 569(0)39, 575(0)399
state, 483(0)436, 483(0)491, 510(0)641, 523(0)538, 526(0)548, 531(0)1, 531(0)23, 531(0)146, 531(0)156, 531(0)186, 541(0)92, 566(0)478, 575(0)1, 575(0)169, 575(0)466
Unified, 538(0)1, 548(0)282, 566(0)312