Theoretical Computer ScienceVolume 412, Issue 38, 2 September 2011, Pages 4967-4968PrefaceAuthor links open overlay panelBart Jacobs, Milad Niqui, Jan Rutten, Alexandra SilvaShow moreShareCitehttps://doi.org/10.1016/j.tcs.2011.06.001Get rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)Copyright © 2011 Elsevier B.V. All rights reserved.