1. Judgmental subtyping systems with intersection types and modal types

   • Jeongbong Seo
   • Sungwoo Park

   Original Article 08 October 2013 Pages: 359 - 380

   

2. A note on the factorization conjecture

   • Clelia De Felice

   Original Article 20 October 2013 Pages: 381 - 402

3. Petri nets with name creation for transient secure association

   • Fernando Rosa-Velardo

   Original Article 23 October 2013 Pages: 403 - 436