41. ICALP 2014: Copenhagen, Denmark - Part II

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

Track C: Foundations of Networked Computing

a service of Schloss Dagstuhl - Leibniz Center for Informatics