default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 214
Volume 214, May 2012
- Yoram Hirshfeld, Alexander Rabinovich
:
Continuous time temporal logic with counting. 1-9 - Michael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
Static slicing of explicitly synchronized languages. 10-46 - Yoram Moses, Michel Raynal:
No double discount: Condition-based simultaneity yields limited gain. 47-58 - Wan J. Fokkink, Rob J. van Glabbeek, Paulien de Wind:
Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity. 59-85 - Giovanni Lagorio, Marco Servetto, Elena Zucca:
Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages. 86-111 - Raphaël Clifford, Klim Efremenko, Benny Porat, Ely Porat, Amir Rothschild:
Mismatch sampling. 112-118 - Pierre-Louis Curien, Claudia Faggian:
An approach to innocent strategies as graphs. 119-155
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-06 23:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
