@article{Hirshfeld-Rabinovich/12,
AUTHOR = {Hirshfeld, Yoram and Rabinovich, Alexander},
TITLE = {Continuous time temporal logic with counting},
JOURNAL = {Inf.~Comput.},
VOLUME = {214},
PAGES = {1-9},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540111001696},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Leuschel-Llorens-Oliver-Silva-Tamarit/12,
AUTHOR = {Leuschel, Michael and Llorens, Marisa and Oliver, Javier and Silva, Josep and Tamarit, Salvador},
TITLE = {Static slicing of explicitly synchronized languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {214},
PAGES = {10-46},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {concurrent programming, csp, program slicing},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540112000417},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Moses-Raynal/12,
AUTHOR = {Moses, Yoram and Raynal, Michel},
TITLE = {No double discount: Condition-based simultaneity yields limited gain},
JOURNAL = {Inf.~Comput.},
VOLUME = {214},
PAGES = {47-58},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {agreement problem, condition-based agreement, consensus, common knowledge, distributed algorithm, early decision, lower bound, modularity, process crash failure, round-based computation model, simultaneity, synchronous message-passing system},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540112000429},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Fokkink-van_Glabbeek-de_Wind/12,
AUTHOR = {Fokkink, Wan and van Glabbeek, Rob and de Wind, Paulien},
TITLE = {Divide and congruence: From decomposition of modal formulas to preservation of branching and $\eta$-bisimilarity},
JOURNAL = {Inf.~Comput.},
VOLUME = {214},
PAGES = {59-85},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {structural operational semantics, modal logic, process algebra, process semantics, congruence},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540112000405},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Lagorio-Servetto-Zucca/12,
AUTHOR = {Lagorio, Giovanni and Servetto, Marco and Zucca, Elena},
TITLE = {Featherweight Jigsaw --- Replacing inheritance by composition in Java-like languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {214},
PAGES = {86-111},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540112000399},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Clifford-Efremenko-Porat-Porat-Rothschild/12,
AUTHOR = {Clifford, Rapha{\"e}l and Efremenko, Klim and Porat, Benny and Porat, Ely and Rothschild, Amir},
TITLE = {Mismatch sampling},
JOURNAL = {Inf.~Comput.},
VOLUME = {214},
PAGES = {112-118},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/pii/S089054011200051X},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Curien-Faggian/12,
AUTHOR = {Curien, Pierre-Louis and Faggian, Claudia},
TITLE = {An approach to innocent strategies as graphs},
JOURNAL = {Inf.~Comput.},
VOLUME = {214},
PAGES = {119-155},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540112000089},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}