Return to home page
Searching: Muskingum library catalog
Some OPAL libraries remain closed or are operating at reduced service levels. Materials from those libraries may not be requestable; requested items may take longer to arrive. Note that pickup procedures may differ between libraries. Please contact your library for new procedures, specific requests, or other assistance.

LEADER 00000cam  2200601Ii 4500 
001    262692696 
003    OCoLC 
005    20181101050804.5 
006    m     o  d         
007    cr cn||||||||| 
008    081017s2006    gw a    ob    001 0 eng d 
010    2006928323 
019    78211147|a148830561|a228380166|a320965625|a401439062
       |a437185702|a551764862|a647598241|a698451707|a756424349
       |a814467204|a880100531|a990529269|a994751685|a1005804002
       |a1035703923|a1044141792|a1044201782|a1047528792
       |a1056308724|a1056339736 
020    9783540329237 
020    3540329234 
020    3540329226|q(Cloth) 
020    9783540329220|q(Cloth) 
020    1280627263 
020    9781280627262 
020    6610627266 
020    9786610627264 
035    (OCoLC)262692696|z(OCoLC)78211147|z(OCoLC)148830561
       |z(OCoLC)228380166|z(OCoLC)320965625|z(OCoLC)401439062
       |z(OCoLC)437185702|z(OCoLC)551764862|z(OCoLC)647598241
       |z(OCoLC)698451707|z(OCoLC)756424349|z(OCoLC)814467204
       |z(OCoLC)880100531|z(OCoLC)990529269|z(OCoLC)994751685
       |z(OCoLC)1005804002|z(OCoLC)1035703923|z(OCoLC)1044141792
       |z(OCoLC)1044201782|z(OCoLC)1047528792|z(OCoLC)1056308724
       |z(OCoLC)1056339736 
037    978-3-540-32922-0|bSpringer|nhttp://www.springerlink.com 
040    GW5XE|beng|epn|erda|cGW5XE|dGW5XE|dOCLCA|dOCLCQ|dMHW
       |dOCLCQ|dN$T|dYDXCP|dCEF|dUAB|dCNTRU|dE7B|dIDEBK|dYNG
       |dEBLCP|dOCLCQ|dA7U|dOCLCQ|dOCLCF|dDEBSZ|dBEDGE|dOCLCQ
       |dAZU|dSLY|dCOO|dOCLCQ|dZ5A|dOTZ|dOCLCQ|dESU|dOCLCQ|dVT2
       |dSTF|dOCLCQ|dEZ9|dU3W 
049    MAIN 
050  4 QA76.9.D5|bB65 2006eb 
072  7 QA|2lcco 
072  7 COM|x061000|2bisacsh 
072  7 UA|2bicssc 
082 04 004.36|222 
100 1  Bollig, Benedikt.|0http://id.loc.gov/authorities/names/
       no2006117238 
245 10 Formal models of communicating systems :|blanguages, 
       automata, and monadic second-order logic /|cBenedikt 
       Bollig. 
264  1 Berlin ;|aNew York :|bSpringer,|c2006. 
300    1 online resource (ix, 181 pages) :|billustrations 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
340    |gpolychrome|2rdacc|0http://rdaregistry.info/termList/
       RDAColourContent/1003 
504    Includes bibliographical references (pages 165-171) and 
       index. 
505 0  Introduction; Preliminaries; Graphs, Logics, and Graph 
       Acceptors; Words and Finite Automata; Dags and 
       Asynchronous Cellular Automata; Mazurkiewicz Traces and 
       Asynchronous Automata; Message Sequence Charts; 
       Communicating Finite-State Machines; Beyond 
       Implementability. 
520    Studies the relationship between automata and monadic 
       second-order logic, focusing on classes of automata that 
       describe the concurrent behavior of distributed systems. 
       This book provides a unifying theory of communicating 
       automata and their logical properties. It covers finite 
       automata, asynchronous (cellular) automata and lossy 
       channel systems. 
588 0  Print version record. 
650  0 Electronic data processing|xDistributed processing.|0http:
       //id.loc.gov/authorities/subjects/sh85042293 
650  0 Computer multitasking.|0http://id.loc.gov/authorities/
       subjects/sh92001010 
655  4 Electronic books. 
773 0  |tSpringer e-books 
776 08 |iPrint version:|aBollig, Benedikt.|tFormal models of 
       communicating systems.|dBerlin ; New York : Springer, 2006
       |z3540329226|z9783540329220|w(DLC)  2006928323
       |w(OCoLC)71747278 
990    SpringerLink|bSpringer English/International eBooks 2006 -
       Full Set|c2018-10-31|yNew collection 
       springerlink.ebooks2006|5OH1 
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online

If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team