41. ICALP 2014: Copenhagen, Denmark - Part II

Track B: Logic, Semantics, Automata, and Theory of Programming

Track C: Foundations of Networked Computing

maintained by Schloss Dagstuhl LZI at University of Trier