Faster algorithms for mean-payoff games L. BrimJ. ChaloupkaJ. F. Raskin OriginalPaper 08 December 2010 Pages: 97 - 118
A WSDL-based type system for asynchronous WS-BPEL processes A. LapadulaR. PuglieseF. Tiezzi OriginalPaper 24 December 2010 Pages: 119 - 157
Programs with lists are counter automata Ahmed BouajjaniMarius BozgaTomáš Vojnar OriginalPaper 18 January 2011 Pages: 158 - 192