@article{Jeandel-Theyssier/13,
AUTHOR = {Jeandel, Emmanuel and Theyssier, Guillaume},
TITLE = {Subshifts as models for MSO logic},
JOURNAL = {Inf.~Comput.},
VOLUME = {225},
PAGES = {1-15},
YEAR = {2013},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {symbolic dynamics, model theory, tilings},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540113000047},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Czyzowicz-Ilcinkas-Labourel-Pelc/13,
AUTHOR = {Czyzowicz, Jurek and Ilcinkas, David and Labourel, Arnaud and Pelc, Andrzej},
TITLE = {Worst-case optimal exploration of terrains with obstacles},
JOURNAL = {Inf.~Comput.},
VOLUME = {225},
PAGES = {16-28},
YEAR = {2013},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {mobile robot, exploration, polygon, obstacle},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540113000151},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Bernardo-De_Nicola-Loreti/13,
AUTHOR = {Bernardo, Marco and De Nicola, Rocco and Loreti, Michele},
TITLE = {A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences},
JOURNAL = {Inf.~Comput.},
VOLUME = {225},
PAGES = {29-82},
YEAR = {2013},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {labeled transition systems, discrete-/continuous-time markov chains, discrete-/continuous-time markov decision processes, bisimulation equivalences, trace equivalences, testing equivalences},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540113000187},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Adamek-Milius-Velebil/13,
AUTHOR = {Ad{\'a}mek, Ji{\v{r}}{\'{i}} and Milius, Stefan and Velebil, Ji{\v{r}}{\'{i}}},
TITLE = {How iterative reflections of monads are constructed},
JOURNAL = {Inf.~Comput.},
VOLUME = {225},
PAGES = {83-118},
YEAR = {2013},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {monad, iterative theory, recursive equations, equational laws},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540113000175},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}