@article{Berman-Garay/93, AUTHOR = {Berman, Piotr and Garay, Juan A.}, TITLE = {Cloture votes: $n/4$-resilient distributed consensus in $t+1$ rounds}, JOURNAL = {Math.~Systems Theory}, VOLUME = {26}, PAGES = {3-19}, YEAR = {1993}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Bar-Noy-Dolev/93, AUTHOR = {Bar-Noy, Amotz and Dolev, Danny}, TITLE = {A partial equivalence between shared-memory and message-passing in an asynchronous fail-stop distributed environment}, JOURNAL = {Math.~Systems Theory}, VOLUME = {26}, PAGES = {21-39}, YEAR = {1993}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Hadzilacos-Halpern/93, AUTHOR = {Hadzilacos, Vassos and Halpern, Joseph Y.}, TITLE = {Message-optimal protocols for Byzantine agreement}, JOURNAL = {Math.~Systems Theory}, VOLUME = {26}, PAGES = {41-102}, YEAR = {1993}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Hadzilacos-Halpern/93a, AUTHOR = {Hadzilacos, Vassos and Halpern, Joseph Y.}, TITLE = {The failure discovery problem}, JOURNAL = {Math.~Systems Theory}, VOLUME = {26}, PAGES = {103-129}, YEAR = {1993}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Coan-Welch/93, AUTHOR = {Coan, Brian A. and Welch, Jennifer L.}, TITLE = {Modular construction of an efficient 1-bit Byzantine agreement protocol}, JOURNAL = {Math.~Systems Theory}, VOLUME = {26}, PAGES = {131-154}, YEAR = {1993}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Muller/93a, AUTHOR = {M{\"u}ller, Haiko}, TITLE = {A note on balanced immunity}, JOURNAL = {Math.~Systems Theory}, VOLUME = {26}, PAGES = {157-167}, YEAR = {1993}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Weber/93a, AUTHOR = {Weber, Andreas}, TITLE = {Distance automata having large finite distance or finite ambiguity}, JOURNAL = {Math.~Systems Theory}, VOLUME = {26}, PAGES = {169-185}, YEAR = {1993}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Fu/93a, AUTHOR = {Fu, Bin}, TITLE = {On lower bounds of the closeness between complexity classes}, JOURNAL = {Math.~Systems Theory}, VOLUME = {26}, PAGES = {187-202}, YEAR = {1993}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Watanabe-Toda/93, AUTHOR = {Watanabe, Osamu and Toda, Seinosuke}, TITLE = {Structural analysis of the complexity of inverse functions}, JOURNAL = {Math.~Systems Theory}, VOLUME = {26}, PAGES = {203-214}, YEAR = {1993}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Green/93a, AUTHOR = {Green, Frederic}, TITLE = {On the power of deterministic reductions to $C_{=}P$}, JOURNAL = {Math.~Systems Theory}, VOLUME = {26}, PAGES = {215-233}, YEAR = {1993}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong}, } @article{Birget/93, AUTHOR = {Birget, Jean-Camille}, TITLE = {State-complexity of finite-state devices, state compressibility and incompressibility}, JOURNAL = {Math.~Systems Theory}, VOLUME = {26}, NUMBER = {3}, PAGES = {237-269}, YEAR = {1993}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Annexstein-Baumslag/93, AUTHOR = {Annexstein, Fred and Baumslag, Marc}, TITLE = {On the diameter and bisector size of Cayley graphs}, JOURNAL = {Math.~Systems Theory}, VOLUME = {26}, NUMBER = {3}, PAGES = {271-291}, YEAR = {1993}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Beigel-Chang-Ogiwara/93, AUTHOR = {Beigel, Richard and Chang, Richard and Ogiwara, Mitsunori}, TITLE = {A relationship between difference hierarchies and relativized polynomial hierarchies}, JOURNAL = {Math.~Systems Theory}, VOLUME = {26}, NUMBER = {3}, PAGES = {293-310}, YEAR = {1993}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Goldstine-Price-Wotschke/93, AUTHOR = {Goldstine, Jonathan and Price, John K. and Wotschke, Detlef}, TITLE = {On reducing the number of stack symbols in a PDA}, JOURNAL = {Math.~Systems Theory}, VOLUME = {26}, NUMBER = {4}, PAGES = {313-326}, YEAR = {1993}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Sanchis/93, AUTHOR = {Sanchis, Laura A.}, TITLE = {On the effective generation of set elements within specified ranges}, JOURNAL = {Math.~Systems Theory}, VOLUME = {26}, NUMBER = {4}, PAGES = {327-341}, YEAR = {1993}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Luccio-Pagli/93, AUTHOR = {Luccio, Fabrizio and Pagli, Linda}, TITLE = {A model of sequential computation with pipelined access to memory}, JOURNAL = {Math.~Systems Theory}, VOLUME = {26}, NUMBER = {4}, PAGES = {343-356}, YEAR = {1993}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Yen-Pak/93, AUTHOR = {Yen, Hsu-Chun and Pak, Namhee}, TITLE = {Complexity analysis of propositional concurrent programs using domino tiling}, JOURNAL = {Math.~Systems Theory}, VOLUME = {26}, NUMBER = {4}, PAGES = {357-378}, YEAR = {1993}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, } @article{Kintala-Pun-Wotschke/93, AUTHOR = {Kintala, Chandra M.R. and Pun, Kong-Yee and Wotschke, Detlef}, TITLE = {Concise representations of regular languages by degree and probabilistic finite automata}, JOURNAL = {Math.~Systems Theory}, VOLUME = {26}, NUMBER = {4}, PAGES = {379-395}, YEAR = {1993}, PUBLISHER = {Springer-Verlag}, ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest}, }