SPECIAL ISSUES ARCHIVE OF 2013
 
Selected Papers of the "10th International Conference on Quantitative Evaluation of SysTems (QEST 2013)"
Editors: Kaustubh Joshi, Markus Siegle

 
Selected Papers of the "24th International Conference on Concurrency Theory" CONCUR 2013
Editors: Pedro R. D'Argenio, HernĂ¡n Melgratti, Davide Sangiorgi

 
Selected Papers of the 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013)
Editors: Reiko Heckel, Stefan Milius