@article{Aminof-Legay-Murano-Serre-Vardi/13,
AUTHOR = {Aminof, Benjamin and Legay, Axel and Murano, Aniello and Serre, Olivier and Vardi, Moshe Y.},
TITLE = {Pushdown module checking with imperfect information},
JOURNAL = {Inf.~Comput.},
VOLUME = {223},
PAGES = {1-17},
YEAR = {2013},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {pushdown model checking, open systems, infinite-state systems, branching-time temporal-logics, modal $\mu$-calculus, game theory},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540112001782},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Luo-Soloviev-Xue/13,
AUTHOR = {Luo, Z. and Soloviev, S. and Xue, T.},
TITLE = {Coercive subtyping: Theory and implementation},
JOURNAL = {Inf.~Comput.},
VOLUME = {223},
PAGES = {18-42},
YEAR = {2013},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {coercive subtyping, conservativity, definitional extension, subsumptive subtyping, type theory},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540112001757},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Korman-Kutten/13,
AUTHOR = {Korman, Amos and Kutten, Shay},
TITLE = {Controller and estimator for dynamic networks},
JOURNAL = {Inf.~Comput.},
VOLUME = {223},
PAGES = {43-66},
YEAR = {2013},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {dynamic networks, controller, size-estimation, majority commitment, dynamic labeling schemes, name-assignment},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540112001605},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Barylska-Mikulski-Ochmanski/13,
AUTHOR = {Barylska, Kamila and Mikulski, {\L}ukasz and Ochmanski, Edward},
TITLE = {On persistent reachability in Petri nets},
JOURNAL = {Inf.~Comput.},
VOLUME = {223},
PAGES = {67-77},
YEAR = {2013},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {petri nets, decidability, coverability, reachability, persistency, conflict},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540112001770},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Arrighi-Dowek/13,
AUTHOR = {Arrighi, Pablo and Dowek, Gilles},
TITLE = {Causal graph dynamics},
JOURNAL = {Inf.~Comput.},
VOLUME = {223},
PAGES = {78-93},
YEAR = {2013},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {dynamical networks, boolean networks, generative networks automata, cayley cellular automata, graph automata, graph rewriting automata, parallel graph transformations, amalgamated graph transformations, time-varying graphs, regge calculus, local, no-signalling},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540112001642},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}