Roberto M. Amadio, Frédéric Dabrowski
Feasible reactivity in a synchronous π-calculus
PPDP, 2007.
@inproceedings{PPDP-2007-AmadioD, author = "Roberto M. Amadio and Frédéric Dabrowski", booktitle = "{Proceedings of the Ninth International Conference on Principles and Practice of Declarative Programming}", doi = "10.1145/1273920.1273951", isbn = "978-1-59593-769-8", pages = "221--230", publisher = "{ACM}", title = "{Feasible reactivity in a synchronous π-calculus}", year = 2007, }