Using hybrid concurrent constraint programming to model dynamic biological systems (2002)

by A Bockmayer, A Courtois
Venue:In Proceedings of the International Conference on Logic Programming (ICLP’02), 2002