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]

Authors

Roberto M. Amadio

This author has not been identified. Look up 'Roberto M. Amadio' in Google

Frédéric Dabrowski

This author has not been identified. Look up 'Frédéric Dabrowski' in Google