Feasible reactivity in a synchronous Pi-calculus

Roberto M. Amadio, Frédéric Dabrowski. Feasible reactivity in a synchronous Pi-calculus. In Michael Leuschel, Andreas Podelski, editors, Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland. pages 221-230, ACM, 2007. [doi]

Abstract

Abstract is missing.