Theoretical Computer ScienceVolume 386, Issue 3, 1 November 2007, Pages 167-168PrefaceAuthor links open overlay panelJos C.M. Baeten (Guest Editors), Iain C.C. PhillipsShow moreShareCitehttps://doi.org/10.1016/j.tcs.2007.07.006Get rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)Copyright © 2007 Elsevier Ltd. All rights reserved.