From programs to systems : the systems perspective in computing : ETAPS workshop, FPS 2014 : in honor of Joseph Sifakis : Grenoble, France, April 6, 2014 : proceedings : 17th European joint conferences on theory and practice of software : Apr 2014, Grenoble, France.
(Lecture Notes in Computer Science ; 8415. Festschrift)