Acta Informatica, Volume 47
Volume 47, Number 1, February 2010
Peter Habermehl, Radu Iosif, Tomás Vojnar: Automata-based verification of programs with tree updates. 1-31- Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar: Symmetry and partial order reduction techniques in model checking Rebeca. 33-66
- Tien Van Do: M/M/1 retrial queue with working vacations. 67-75
Volume 47, Number 2, March 2010
- Massimo Merro: On the observational theory of the CPS-calculus. 111-132
- Remco Loos, Florin Manea, Victor Mitrana: Small universal accepting hybrid networks of evolutionary processors. 133-146
Volume 47, Number 3, May 2010
- Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi: Lifting non-finite axiomatizability results to extensions of process algebras. 147-177
Volume 47, Number 4, June 2010
- Chen-Ming Fan, Cheng-Chih Huang, Huei-Jan Shyr, Kuo-Hsiang Chen: A note on autodense related languages. 209-219
Volume 47, Numbers 5-6, September 2010
- Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina: Reachability results for timed automata with unbounded data structures. 279-311
- Cheng-Chi Huang: A note on pure codes. 347-357
Volume 47, Numbers 7-8, December 2010
- Joan Boyar, Martin R. Ehmsen, Jens S. Kohrt, Kim S. Larsen: A theoretical comparison of LRU and LRU-K. 359-374
- Leah Epstein: Equilibria for two parallel links: the strong price of anarchy versus the price of anarchy. 375-389
- Martin Kutrib, Hartmut Messerschmidt, Friedrich Otto: On stateless deterministic restarting automata. 391-412
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team