@article{Bayer/84,
AUTHOR = {Bayer, R.},
TITLE = {Data management support for database management},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {1},
PAGES = {1-28},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=1&spage=1},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Inst. f{\"u}r Informatik, Tech. Univ. M{\"u}nchen, M{\"u}nchen, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Chapman/84,
AUTHOR = {Chapman, N.P.},
TITLE = {LALR (1,1) parser generation for regular right part grammars},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {1},
PAGES = {29-45},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=1&spage=29},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computational Sci., Univ. of St. Andrews, St. Andrews, Scotland},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Szwarcfiter/84,
AUTHOR = {Szwarcfiter, J.L.},
TITLE = {Optimal multiway search trees for variable size keys},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {1},
PAGES = {47-60},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=1&spage=47},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Nucleo de Computacao Eletronica, Univ. Federal do Rio de Janeiro, Rio de Janeiro, Brazil},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Hennessy/84a,
AUTHOR = {Hennessy, M.},
TITLE = {Axiomatising finite delay operators},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {1},
PAGES = {61-88},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=1&spage=61},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Edinburgh, Edinburgh, Scotland},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Best-Voss/84,
AUTHOR = {Best, E. and Voss, K.},
TITLE = {Free choice systems have home states},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {1},
PAGES = {89-100},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=1&spage=89},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Gesellschaft f{\"u}r Math. und Datenverarbeitung, St. Augustin, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Tsakalidis/84,
AUTHOR = {Tsakalidis, A.K.},
TITLE = {Maintaining order in a generalized linked list},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {1},
PAGES = {101-112},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=1&spage=101},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Fachbereich 10, Angewandte Math. und Informatik, Univ. des Saarlandes, Saarbrucken, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Huang-Wong/84a,
AUTHOR = {Huang, S.-H.S. and Wong, C.K.},
TITLE = {Generalized binary split trees},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {1},
PAGES = {113-123},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=1&spage=113},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Houston, Houston, TX, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Lubachevsky/84,
AUTHOR = {Lubachevsky, B.D.},
TITLE = {An approach to automating the verification of compact parallel coordination programs. I},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {2},
PAGES = {125-169},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=2&spage=125},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., New York Univ., New York, NY, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Blum-Seysen/84,
AUTHOR = {Blum, N. and Seysen, M.},
TITLE = {Characterization of all optimal networks for a simultaneous computation of and and nor},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {2},
PAGES = {171-181},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=2&spage=171},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Angewandte Math. und Informatik, Univ. des Saarlandes, Saarbrucken, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Gillett/84,
AUTHOR = {Gillett, W.D.},
TITLE = {On binary tree encodements},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {2},
PAGES = {183-192},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=2&spage=183},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Washington Univ., St. Louis, MO, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Ibarra-Kim/84a,
AUTHOR = {Ibarra, O.H. and Kim, S.M.},
TITLE = {A characterization of systolic binary tree automata and applications},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {2},
PAGES = {193-207},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=2&spage=193},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Computer Sci., Univ. of Minnesota, Minneapolis, MN, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Autebert-Beauquier-Boasson-Gire/84,
AUTHOR = {Autebert, J.M. and Beauquier, J. and Boasson, L. and Gire, F.},
TITLE = {Bicenters of context-free languages},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {2},
PAGES = {209-227},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=2&spage=209},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Maths et Informatique, Univ. Paris, Paris, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Devroye/84a,
AUTHOR = {Devroye, L.},
TITLE = {A probabilistic analysis of the height of tries and of the complexity of triesort},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {3},
PAGES = {229-237},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=3&spage=229},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Sch. of Comput. Sci., Mcgill Univ., Montreal, Que, Canada},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Bird/84,
AUTHOR = {Bird, R.S.},
TITLE = {Using circular programs to eliminate multiple traversals of data},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {3},
PAGES = {239-250},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=3&spage=239},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Oxford Univ., England},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Barringer-Cheng-Jones/84,
AUTHOR = {Barringer, H. and Cheng, J.H. and Jones, C.B.},
TITLE = {A logic covering undefinedness in program proofs},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {3},
PAGES = {251-269},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=3&spage=251},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput. Sci., Manchester Univ., England},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Guting/84,
AUTHOR = {G{\"u}ting, R.H.},
TITLE = {Optimal divide-and-conquer to compute measure and contour for a set of iso-rectangles},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {3},
PAGES = {271-291},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=3&spage=271},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Lehrstuhl Inf. VI, Dortmund Univ., Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Bergstra-Tucker/84a,
AUTHOR = {Bergstra, J.A. and Tucker, J.V.},
TITLE = {The axiomatic semantics of programs based on Hoare's logic},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {3},
PAGES = {293-320},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=3&spage=293},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput. Sci., Centrum Voor Wiskunde en Inf., Amsterdam, Netherlands},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Iglehart-Shedler/84,
AUTHOR = {Iglehart, D.L. and Shedler, G.S.},
TITLE = {Simulation output analysis for local area computer networks},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {4},
PAGES = {321-338},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=4&spage=321},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Oper. Res., Stanford Univ., CA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Mehlhorn-Vishkin/84,
AUTHOR = {Mehlhorn, K. and Vishkin, U.},
TITLE = {Randomized and deterministic simulations of PRAMS by parallel machines with restricted granularity of parallel memories},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {4},
PAGES = {339-374},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=4&spage=339},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Fachbereich 10, Saarlandes Univ., Saarbrucken, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Deransart-Jourdan-Lorho/84,
AUTHOR = {Deransart, P. and Jourdan, M. and Lorho, B.},
TITLE = {Speeding up circularity tests for attribute grammars},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {4},
PAGES = {375-391},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=4&spage=375},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {INRIA, Domaine de Voluceau, Rocquencourt, Le Chesnay, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Choffrut-Culik/84,
AUTHOR = {Choffrut, C. and Culik II, K.},
TITLE = {On real-time cellular automata and trellis automata},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {4},
PAGES = {393-407},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=4&spage=393},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Paris 7 Univ., France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Coffman-Langston/84,
AUTHOR = {Coffman, E.G., Jr. and Langston, M.A.},
TITLE = {A performance guarantee for the greedy set-partitioning algorithm},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {4},
PAGES = {409-415},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=4&spage=409},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Atandt Bell Labs., Murray Hill, NJ, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Costa-Stirling/84,
AUTHOR = {Costa, G. and Stirling, C.},
TITLE = {A fair calculus of communicating systems},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {5},
PAGES = {417-441},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=5&spage=417},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput. Sci., Edinburgh Univ., Scotland},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Sannella/84,
AUTHOR = {Sannella, D.T.},
TITLE = {A set-theoretic semantics for clear},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {5},
PAGES = {443-472},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=5&spage=443},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput. Sci., Edinburgh Univ., Scotland},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Bulyonkov/84,
AUTHOR = {Bulyonkov, M.A.},
TITLE = {Polyvariant mixed computation for analyzer programs},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {5},
PAGES = {473-484},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=5&spage=473},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Comput. Center, Acad. of Sci., Novosibirsk, USSR},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Leung-Choo/84,
AUTHOR = {Leung, C.H.C. and Choo, Q.H.},
TITLE = {The paging drum queue: a uniform perspective and further results},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {5},
PAGES = {485-500},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=5&spage=485},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput. Sci., Univ. Coll. London, England},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Hertel-Mantyla-Mehlhorn-Nievergelt/84,
AUTHOR = {Hertel, S. and Mantyla, M. and Mehlhorn, K. and Nievergelt, J.},
TITLE = {Space sweep solves intersection of convex polyhedra},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {5},
PAGES = {501-519},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=5&spage=501},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Saarlandes Univ., Saarbrucken, Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Bauer-Otto/84,
AUTHOR = {Bauer, G. and Otto, F.},
TITLE = {Finite complete rewriting systems and the complexity of the word problem},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {5},
PAGES = {521-540},
YEAR = {1984},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=5&spage=521},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Fachbereich Inf., Kaiserlautern Univ., Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Wright/85,
AUTHOR = {Wright, W.E.},
TITLE = {Some average performance measures for the B-tree},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {6},
PAGES = {541-557},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=6&spage=541},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput. Sci., Southern Illinois Univ., Carbondale, IL, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Fisher/85,
AUTHOR = {Fisher, A.J.},
TITLE = {Practical LL(1)-based parsing of van Wijngaarden grammars},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {6},
PAGES = {559-584},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=6&spage=559},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput. Studies., Hull Univ., England},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Chen-Rem/85,
AUTHOR = {Chen, M.C. and Rem, M.},
TITLE = {Deadlock-freedom in resource contentions},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {6},
PAGES = {585-598},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=6&spage=585},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of Comput. Sci., Yale Univ., New Haven, CT, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Berry/85,
AUTHOR = {Berry, D.M.},
TITLE = {A denotational semantics for shared-memory parallelism and nondeterminism},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {6},
PAGES = {599-627},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=6&spage=599},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Dept. of California Univ., Comput. Sci., Los Angeles, CA, USA},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Lenfant-Tahe/85,
AUTHOR = {Lenfant, J. and Tahe, S.},
TITLE = {Permuting data with the Omega network},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {6},
PAGES = {629-641},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=6&spage=629},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {IRISA, Rennes, France},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Valk-Jantzen/85,
AUTHOR = {Valk, R. and Jantzen, M.},
TITLE = {The residue of vector sets with applications to decidability problems in Petri nets},
JOURNAL = {Acta Inf.},
VOLUME = {21},
NUMBER = {6},
PAGES = {643-674},
YEAR = {1985},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=21&issue=6&spage=643},
PUBLISHER = {Springer-Verlag},
INSTITUTION = {Fachbereich Informatik, Hamburg Univ., Germany},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}