@article{Alblas/89,
AUTHOR = {Alblas, H.},
TITLE = {Iteration of transformation passes over attributed program trees},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {1-40},
YEAR = {1989},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Langenhop-Wright/89,
AUTHOR = {Langenhop, C.E. and Wright, W.E.},
TITLE = {A model of the dynamic behavior of B-trees},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {41-59},
YEAR = {1989},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Ruzicka-Privara/89,
AUTHOR = {Ru{\v{z}}i{\v{c}}ka, P. and Privara, I.},
TITLE = {An almost linear Robinson unification algorithm},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {61-71},
YEAR = {1989},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=61},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Lau/89,
AUTHOR = {Lau, K.K.},
TITLE = {A note on synthesis and classification of sorting algorithms},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {73-80},
YEAR = {1989},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=73},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Gonczarowski-Warmuth/89,
AUTHOR = {Gonczarowski, J. and Warmuth, M.K.},
TITLE = {Scattered versus context-sensitive rewriting},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {81-95},
YEAR = {1989},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=81},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Huang-Lengauer/89,
AUTHOR = {Huang, C.-H. and Lengauer, C.},
TITLE = {An incremental mechanical development of systolic solutions to the algebraic path problem},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {97-124},
YEAR = {1989},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=97},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Taubner-Vogler/89,
AUTHOR = {Taubner, D. and Vogler, W.},
TITLE = {Step failures semantics and a complete proof system},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {125-156},
YEAR = {1989},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=125},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Rego/89,
AUTHOR = {Rego, V.},
TITLE = {Some efficient computational algorithms related to phase models},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {157-177},
YEAR = {1989},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=157},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Culik-Karhumaki/89,
AUTHOR = {Culik II, K. and Karhum{\"a}ki, J.},
TITLE = {HDTOL matching of computations of multitape automata},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {179-191},
YEAR = {1989},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=179},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Salzberg/89,
AUTHOR = {Salzberg, B.},
TITLE = {Merging sorted runs using large main memory},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {195-215},
YEAR = {1989},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=195},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Schmidt-Berghammer-Zierer/89,
AUTHOR = {Schmidt, Gunther and Berghammer, Rudolf and Zierer, Hans},
TITLE = {Describing semantic domains with sprouts},
JOURNAL = {Acta Inf.},
VOLUME = {27},
NUMBER = {3},
PAGES = {217-245},
YEAR = {1989},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@article{Kouvatsos-Tabet-Aouel/89,
AUTHOR = {Kouvatsos, D. and Tabet-Aouel, N.},
TITLE = {A maximum entropy priority approximation for a stable G/G/1 queue},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {247-286},
YEAR = {1989},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=247},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Morris/90,
AUTHOR = {Morris, J.M.},
TITLE = {Temporal predicate transformers and fair termination},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {287-313},
YEAR = {1990},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=287},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Ehrenfeucht-Rozenberg/90d,
AUTHOR = {Ehrenfeucht, A. and Rozenberg, G.},
TITLE = {Partial (set) 2-structures. Part I: Basic notions and the representation problem},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {315-342},
YEAR = {1990},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=315},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Ehrenfeucht-Rozenberg/90e,
AUTHOR = {Ehrenfeucht, A. and Rozenberg, G.},
TITLE = {Partial (set) 2-structures Part II: State spaces of concurrent systems},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {343-368},
YEAR = {1990},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=343},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Kou/90,
AUTHOR = {Kou, Lawrence T.},
TITLE = {On efficient implementation of an approximation algorithm for the Steiner tree problem},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {369-380},
YEAR = {1990},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=369},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Meyer-Olderog/90,
AUTHOR = {Meyer, J.-J.Ch. and Olderog, E.-R.},
TITLE = {Hiding in stream semantics of uniform concurrency},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {381-397},
YEAR = {1990},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=381},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Lautemann/90,
AUTHOR = {Lautemann, Clemens},
TITLE = {The complexity of graph languages generated by hyperedge replacement},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {399-421},
YEAR = {1990},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=399},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Overmars-Smid-Berg-Kreveld/90,
AUTHOR = {Overmars, Mark H. and Smid, Michiel H.M. and Berg, Mark T. de and Kreveld, Marc J. van},
TITLE = {Maintaining range trees in secondary memory. Part I: Partitions},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {423-452},
YEAR = {1990},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=423},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Smid-Overmars/90,
AUTHOR = {Smid, Michiel H.M. and Overmars, Mark H.},
TITLE = {Maintaining range trees in secondary memory. Part II: Lower bounds},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {453-480},
YEAR = {1990},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=453},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Morgan-Gardiner/90,
AUTHOR = {Morgan, Carroll and Gardiner, P.H.B.},
TITLE = {Date refinement by calculation},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {481-503},
YEAR = {1990},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=481},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Sondergaard-Sestoft/90,
AUTHOR = {S{\o}ndergaard, Harald and Sestoft, Peter},
TITLE = {Referential transparency, definiteness and unfoldability},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {505-517},
YEAR = {1990},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=505},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Gelenbe-Hernandez/90,
AUTHOR = {Gelenbe, Erol and Hern{\'a}ndez, Marisela},
TITLE = {Optimum checkpoints with age dependent failures},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {519-531},
YEAR = {1990},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=519},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Taubner/90,
AUTHOR = {Taubner, Dirk},
TITLE = {Representing CCS programs by finite predicate/transition nets},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {533-565},
YEAR = {1990},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=533},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Engelfriet-Jong/90,
AUTHOR = {Engelfriet, Joost and Jong, Willem de},
TITLE = {Attribute storage optimization by stacks},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {567-581},
YEAR = {1990},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=567},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Back-Wright/90,
AUTHOR = {Back, R.J.R. and Wright, J. von},
TITLE = {Duality in specification languages: A lattice-theoretical approach},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {583-625},
YEAR = {1990},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=583},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Yu-Rosenkrantz/90,
AUTHOR = {Yu, Lin and Rosenkrantz, Daniel J.},
TITLE = {Minimizing time-space cost for database version control},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {627-663},
YEAR = {1990},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=627},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Berman-Paull-Ryder/90,
AUTHOR = {Berman, A. Michael and Paull, Marvin C. and Ryder, Barbara G.},
TITLE = {Proving relative lower bounds for incremental algorithms},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {665-683},
YEAR = {1990},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=665},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Turski/90,
AUTHOR = {Turski, W.M.},
TITLE = {On specification of multiprocessor computing},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {685-696},
YEAR = {1990},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=685},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Gouda-Howell-Rosier/90,
AUTHOR = {Gouda, Mohamed G. and Howell, Rodney R. and Rosier, Louis E.},
TITLE = {The instability of self-stabilization},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {697-724},
YEAR = {1990},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=697},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Cleaveland/90,
AUTHOR = {Cleaveland, Rance},
TITLE = {Tableau-based model checking in the propositional mu-calculus},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {725-747},
YEAR = {1990},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=725},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Weber/90,
AUTHOR = {Weber, Andreas},
TITLE = {On the valuedness of finite transducers},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {749-780},
YEAR = {1990},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=749},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}
@article{Meduna/90,
AUTHOR = {Meduna, Alexander},
TITLE = {Context free derivations on word monoids},
JOURNAL = {Acta Inf.},
VOLUME = {27},
PAGES = {781-786},
YEAR = {1990},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=27&spage=781},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong},
}