Electronic Notes in Theoretical Computer ScienceVolume 260, 1 January 2010, Pages 1-2PrefaceAuthor links open overlay panelCarlos Canal, Corina S. PăsăreanuShow moreShareCitehttps://doi.org/10.1016/j.entcs.2009.12.028Get rights and contentUnder a Creative Commons licenseopen accessPrevious article in issueNext article in issueRecommended articlesCited by (0)Copyright © 2009 Elsevier B.V.