@article{Thomsen/93,
AUTHOR = {Thomsen, Bent},
TITLE = {Plain CHOCS: A second generation calculus for higher order processes},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {1-59},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Stewart/93,
AUTHOR = {Stewart, Iain A.},
TITLE = {Logical and schematic characterization of complexity classes},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {61-87},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Petit/93,
AUTHOR = {Petit, Antoine},
TITLE = {Recognizable trace languages, distributed automata and the distribution problem},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {89-101},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Marriott/93,
AUTHOR = {Marriott, Kim},
TITLE = {Frameworks for abstract interpretation},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {103-129},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Hac/93,
AUTHOR = {Ha{\'c}, Anna},
TITLE = {Performance and reliability improvement by using asynchronous algorithms in disk buffer cache memory},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {131-146},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Navarro-Orejas-Remy/93,
AUTHOR = {Navarro, Marisa and Orejas, Fernando and Remy, Jean-Luc},
TITLE = {Contextual rewriting as a sound and complete proof method for conditional LOG-specifications},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {147-180},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Nicollin-Sifakis-Yovine/93,
AUTHOR = {Nicollin, Xavier and Sifakis, Joseph and Yovine, Sergio},
TITLE = {From ATP to timed graphs and hybrid systems},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {181-202},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Amerins-Baeza-Yates-Wood/93,
AUTHOR = {Amerins, Paul S. and Baeza-Yates, Ricardo A. and Wood, Derick},
TITLE = {On efficient entreeings},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {203-213},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Ding-Weiss/93,
AUTHOR = {Ding, Yuzheng and Weiss, Mark Allen},
TITLE = {The relaxed min-max heap. A mergeable double-ended priority queue},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {215-231},
YEAR = {1993},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=30&spage=215},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Poblete/93,
AUTHOR = {Poblete, Patricio V.},
TITLE = {The analysis of heuristics for search trees},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {233-248},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Anderson/93,
AUTHOR = {Anderson, James H.},
TITLE = {A fine-grained solution to the mutual exclusion problem},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {249-265},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Iwata-Kasai-Moriya/93,
AUTHOR = {Iwata, Shigeki and Kasai, Takumi and Moriya, Etsuro},
TITLE = {Relations among simultaneous complexity classes of nondeterministic and alternating Turing machines},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {267-278},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Culik-Dube/93,
AUTHOR = {Culik II, Karel and Dube, Simant},
TITLE = {L-systems and mutually recursive function systems},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {279-302},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Lehmann-Loeckx/93,
AUTHOR = {Lehmann, Thomas and Loeckx, Jacques},
TITLE = {OBSCURE: A specification language for abstract data types},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {303-350},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Paun/93,
AUTHOR = {P{\u{a}}un, Gheorghe},
TITLE = {On the synchronization in parallel communicating grammar systems},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {351-367},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Yellin/93,
AUTHOR = {Yellin, Daniel M.},
TITLE = {Speeding up dynamic transitive closure for bounded degree graphs},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {369-384},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Cassaigne/93,
AUTHOR = {Cassaigne, Julien},
TITLE = {Unavoidable binary patterns},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {385-395},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{KratochvIl-Krivanek/93,
AUTHOR = {KratochvIl, Jan and K{\v{r}}iv{\'{a}}nek, Mirko},
TITLE = {Satisfiability of co-nested formulas},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {397-403},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Spuler/93,
AUTHOR = {Spuler, David},
TITLE = {The optimal binary search tree for Andersson's search algorithm},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {405-407},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Coffman-Flatto-Kreinin/93,
AUTHOR = {Coffman, E.G., Jr. and Flatto, Leopold and Kreinin, A.Y.},
TITLE = {Scheduling saves in fault-tolerant computations},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {409-423},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Aref-Samet/93,
AUTHOR = {Aref, Walid G. and Samet, Hanan},
TITLE = {Decomposing a window into maximal quadtree blocks},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {425-439},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Mateescu-Salomaa/93,
AUTHOR = {Mateescu, Alexandru and Salomaa, Arto},
TITLE = {On simplest possible solutions for Post Correspondence Problems},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {441-457},
YEAR = {1993},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=30&spage=441},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Devroye/93,
AUTHOR = {Devroye, Luc},
TITLE = {On the expected height of fringe-balanced trees},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {459-466},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Kumar-Pandya/93,
AUTHOR = {Kumar, K. Narayan and Pandya, Paritosh K.},
TITLE = {Infinitary parallelism without unbounded nondeterminism in CSP},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {467-487},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Van_den_Bussche/93,
AUTHOR = {Van den Bussche, Jan},
TITLE = {On minimizing the $\forall-\neg$ degree of a connective-free formula},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {489-502},
YEAR = {1993},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=30&spage=489},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Singh/93,
AUTHOR = {Singh, Ambuj K.},
TITLE = {Program refinement in fair transition systems},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {503-535},
YEAR = {1993},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=30&spage=503},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Bevers-Lewi/93,
AUTHOR = {Bevers, Eddy and Lewi, Johan},
TITLE = {Proving termination of (conditional) rewrite systems. A semantic approach},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {537-568},
YEAR = {1993},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=30&spage=537},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Qian/93,
AUTHOR = {Qian, Zhenyu},
TITLE = {An algebraic semantics of higher-order types with subtypes},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {569-607},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Manna-Pnueli/93,
AUTHOR = {Manna, Zohar and Pnueli, Amir},
TITLE = {Models for reactivity},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {609-678},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Tuzhilin/93,
AUTHOR = {Tuzhilin, Alexander},
TITLE = {Querying datalog programs with temporal logic},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {679-700},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Hoare-Jifeng-Sampaio/93,
AUTHOR = {Hoare, C.A.R. and Jifeng, He and Sampaio, A.},
TITLE = {Normal form approach to compiler design},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {701-739},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Hernandez/93,
AUTHOR = {Hern{\'{a}}ndez, H{\'{e}}ctor J.},
TITLE = {Extended nested relations},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {741-771},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Buckle/93,
AUTHOR = {Buckle, John},
TITLE = {A characterisation of meet and join respecting pre-orders and congruences on finite lattices},
JOURNAL = {Acta Inf.},
VOLUME = {30},
PAGES = {773-785},
YEAR = {1993},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}