Bent Thomsen, Kasper Søe Luckow, Lone Leth, Thomas Bøgholm. From Safety Critical Java Programs to Timed Process Models. In Chiara Bodei, Gian Luigi Ferrari, Corrado Priami, editors, Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Volume 9465 of Lecture Notes in Computer Science, pages 319-338, Springer, 2015. [doi]
Abstract is missing.