Ausgabe 7-8/2013
Inhalt (3 Artikel)
Original Article
Judgmental subtyping systems with intersection types and modal types
Jeongbong Seo, Sungwoo Park
Original Article
Petri nets with name creation for transient secure association
Fernando Rosa-Velardo