@article{Boyar-Favrholdt-Larsen-Nielsen/03,
AUTHOR = {Boyar, Joan and Favrholdt, Lene M. and Larsen, Kim S. and Nielsen, Morten N.},
TITLE = {Extending the accommodating function},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {1},
PAGES = {3-35},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0124-9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Doberkat/03,
AUTHOR = {Doberkat, Ernst-Erich},
TITLE = {Pipelines: Modelling a software architecture through relations},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {1},
PAGES = {37-79},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0121-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Ben-Amram-Berkman-Petersen/03,
AUTHOR = {Ben-Amram, Amir M. and Berkman, Omer and Petersen, Holger},
TITLE = {Element distinctness on one-tape Turing machines: A complete solution},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {2},
PAGES = {81-94},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0125-8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Khomenko-Koutny-Vogler/03,
AUTHOR = {Khomenko, Victor and Koutny, Maciej and Vogler, Walter},
TITLE = {Canonical prefixes of Petri net unfoldings},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {2},
PAGES = {95-118},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0122-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Kari-Konstantinidis-Losseva-Wozniak/03,
AUTHOR = {Kari, Lila and Konstantinidis, Stavros and Losseva, Elena and Wozniak, Geoff},
TITLE = {Sticky-free and overhang-free DNA languages},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {2},
PAGES = {119-157},
YEAR = {2003},
KEYWORDS = {theoretical dna computing, dna encodings, codes, formal languages},
URL = {http://dx.doi.org/10.1007/s00236-003-0118-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Lesley-Fekete/03,
AUTHOR = {Lesley, N. and Fekete, A.},
TITLE = {Providing view synchrony for group communication services},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {3},
PAGES = {159-210},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0129-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Layuan-Chunlin/03,
AUTHOR = {Layuan, Li and Chunlin, Li},
TITLE = {A distributed QoS-aware multicast routing protocol},
JOURNAL = {Acta Inf.},
VOLUME = {40},
NUMBER = {3},
PAGES = {211-233},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0123-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Coulondre/03,
AUTHOR = {Coulondre, St{\'e}phane},
TITLE = {A top-down proof procedure for generalized data dependencies},
JOURNAL = {Acta Inf.},
VOLUME = {39},
NUMBER = {1},
PAGES = {1-29},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-002-0095-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Della_Penna-Intrigila-Tronci-Zilli/03,
AUTHOR = {Della Penna, Giuseppe and Intrigila, Benedetto and Tronci, Enrico and Zilli, Marisa Venturini},
TITLE = {Synchronized regular expressions},
JOURNAL = {Acta Inf.},
VOLUME = {39},
NUMBER = {1},
PAGES = {31-70},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-002-0099-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Burrieza-de_Guzman/03,
AUTHOR = {Burrieza, Alfredo and de Guzm{\'a}n, Inma P.},
TITLE = {A functional approach for temporal $\times$ modal logics},
JOURNAL = {Acta Inf.},
VOLUME = {39},
NUMBER = {2},
PAGES = {71-96},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-002-0098-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Epstein/03,
AUTHOR = {Epstein, Leah},
TITLE = {Bin stretching revisited},
JOURNAL = {Acta Inf.},
VOLUME = {39},
NUMBER = {2},
PAGES = {97-117},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-002-0102-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Gaso-Nehez/03,
AUTHOR = {Ga{\v{s}}o, J{\'a}n and Neh{\'e}z, Martin},
TITLE = {Stochastic cooperative distributed grammar systems and random graphs},
JOURNAL = {Acta Inf.},
VOLUME = {39},
NUMBER = {2},
PAGES = {119-140},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-002-0104-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Kiepuszewski-ter_Hofstede-van_der_Aalst/03,
AUTHOR = {Kiepuszewski, B. and ter Hofstede, A.H.M. and van der Aalst, W.M.P.},
TITLE = {Fundamentals of control flow in workflows},
JOURNAL = {Acta Inf.},
VOLUME = {39},
NUMBER = {3},
PAGES = {143-209},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-002-0105-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Hesselink/03,
AUTHOR = {Hesselink, Wim H.},
TITLE = {Preference rankings in the face of uncertainty},
JOURNAL = {Acta Inf.},
VOLUME = {39},
NUMBER = {3},
PAGES = {211-231},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0108-9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Wabenhorst/03,
AUTHOR = {Wabenhorst, Axel},
TITLE = {Stepwise development of fair distributed systems},
JOURNAL = {Acta Inf.},
VOLUME = {39},
NUMBER = {4},
PAGES = {233-271},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-002-0103-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Reisig/03,
AUTHOR = {Reisig, W.},
TITLE = {On Gurevich's theorem on sequential algorithms},
JOURNAL = {Acta Inf.},
VOLUME = {39},
NUMBER = {4},
PAGES = {273-305},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-002-0106-3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Meduna/03,
AUTHOR = {Meduna, Alexander},
TITLE = {Coincidental extension of scattered context languages},
JOURNAL = {Acta Inf.},
VOLUME = {39},
NUMBER = {5},
PAGES = {307-314},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0112-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
NOTE = {see Erratum in Acta Informatica, Vol. 39, 2003, No. 5, 699-699},
}
@article{Ying/03,
AUTHOR = {Ying, Mingsheng},
TITLE = {Reasoning about probabilistic sequential programs in a probabilistic logic},
JOURNAL = {Acta Inf.},
VOLUME = {39},
NUMBER = {5},
PAGES = {315-389},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0113-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Biskup-Polle/03,
AUTHOR = {Biskup, Joachim and Polle, Torsten},
TITLE = {Adding inclusion dependencies to an object-oriented data model with uniqueness constraints},
JOURNAL = {Acta Inf.},
VOLUME = {39},
NUMBER = {6-7},
PAGES = {391-449},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0115-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Currie-Moodie/03,
AUTHOR = {Currie, James D. and Moodie, Erica},
TITLE = {A word on 7 letters which is non-repetitive up to mod 5},
JOURNAL = {Acta Inf.},
VOLUME = {39},
NUMBER = {6-7},
PAGES = {451-468},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0110-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Srba/03,
AUTHOR = {Srba, Ji{\v{r}}{\'i}},
TITLE = {Strong bisimilarity of simple process algebras: Complexity lower bounds},
JOURNAL = {Acta Inf.},
VOLUME = {39},
NUMBER = {6-7},
PAGES = {469-499},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0116-9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Fokkink-Vu/03,
AUTHOR = {Fokkink, Wan and Vu, Thuy Duong},
TITLE = {Structural operational semantics and bounded nondeterminism},
JOURNAL = {Acta Inf.},
VOLUME = {39},
NUMBER = {6-7},
PAGES = {501-516},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0111-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Castellanos-Martin-Vide-Mitrana-Sempere/03,
AUTHOR = {Castellanos, Juan and Mart{\'{i}}n-Vide, Carlos and Mitrana, Victor and Sempere, Jos{\'e} M.},
TITLE = {Networks of evolutionary processors},
JOURNAL = {Acta Inf.},
VOLUME = {39},
NUMBER = {6-7},
PAGES = {517-529},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0114-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Majster-Cederbaum-Wu/03,
AUTHOR = {Majster-Cederbaum, Mila and Wu, Jinzhao},
TITLE = {Towards action refinement for true concurrent real time},
JOURNAL = {Acta Inf.},
VOLUME = {39},
NUMBER = {8},
PAGES = {531-577},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0117-8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Silva/03,
AUTHOR = {Silva, Pedro V.},
TITLE = {A note on pure and $p$-pure languages},
JOURNAL = {Acta Inf.},
VOLUME = {39},
NUMBER = {8},
PAGES = {579-595},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0107-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Coffman-Sethuraman-Timkovsky/03,
AUTHOR = {Coffman, E.G., Jr. and Sethuraman, J. and Timkovsky, V.G.},
TITLE = {Ideal preemptive schedules on two processors},
JOURNAL = {Acta Inf.},
VOLUME = {39},
NUMBER = {8},
PAGES = {597-612},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0119-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Engelfriet-Maneth/03,
AUTHOR = {Engelfriet, Joost and Maneth, Sebastian},
TITLE = {A comparison of pebble tree transducers with macro tree transducers},
JOURNAL = {Acta Inf.},
VOLUME = {39},
NUMBER = {9},
PAGES = {613-698},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0120-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
}
@article{Meduna/03a,
AUTHOR = {Meduna, Alexander},
TITLE = {Erratum to ''Coincidental extension of scattered context languages''},
JOURNAL = {Acta Inf.},
VOLUME = {39},
NUMBER = {9},
PAGES = {699-699},
YEAR = {2003},
URL = {http://dx.doi.org/10.1007/s00236-003-0127-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York},
NOTE = {Originally in Acta Informatica, Vol. 39, 2003, No. 5, 307-314},
}