@article{Carmona-Kleijn/13,
AUTHOR = {Carmona, Josep and Kleijn, Jetty},
TITLE = {Compatibility in a multi-component environment},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {484},
PAGES = {1-15},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397513001977},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Nikolic-Spoto/13,
AUTHOR = {Nikoli{\'c}, Durica and Spoto, Fausto},
TITLE = {Inferring complete initialization of arrays},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {484},
PAGES = {16-40},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {static analysis, array initialization, abstract interpretation, finite-state automata},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397513000455},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Dosen-Petric/13,
AUTHOR = {Do{\v{s}}en, Kosta and Petri{\'c}, Zoran},
TITLE = {Graphs of plural cuts},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {484},
PAGES = {41-55},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {plural sequent, multiple-conclusion sequent, plural cut, oriented graph, planarity, polycategory},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397513000947},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Worboys/13,
AUTHOR = {Worboys, M.F.},
TITLE = {Using bigraphs to model topological graphs embedded in orientable surfaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {484},
PAGES = {56-69},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {bigraph, combinatorial map, spatial modeling, graph embedding},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397513001503},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{van_der_Meyden-Zhang/13a,
AUTHOR = {van der Meyden, Ron and Zhang, Chenyi},
TITLE = {Information flow in systems with schedulers, Part II: Refinement},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {484},
PAGES = {70-92},
YEAR = {2013},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397513000285},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}