SPECIAL ISSUES ARCHIVE OF 2014
20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Editors: Erika Abraham, Klaus Havelund
Special Issue for the Conferences on Computer Science Logic and Logic in Computer Sciences (CSL-LICS) 2014 Editors: Thomas A Henzinger, Dale Miller
Joint Special Issue for the Conferences FORTE and COORDINATION 2014 Editors: Erika Abraham, Eva Kühn, Catuscia Palamidessi, Rosario Pugliese, Vladimiro Sassone
Selected Papers of the joint International Conferences on "Rewriting Techniques and Applications" and "Typed Lambda Calculi and Applications" RTA/TLCA 2014 Editor: Gilles Dowek