Carlos Olarte, Frank D. Valencia
Universal concurrent constraint programing: symbolic semantics and applications to security
SAC, 2008.
@inproceedings{SAC-2008-OlarteV, author = "Carlos Olarte and Frank D. Valencia", booktitle = "{Proceedings of the 23rd Symposium on Applied Computing}", doi = "10.1145/1363686.1363726", editor = "Roger L. Wainwright and Hisham Haddad", isbn = "978-1-59593-753-7", pages = "145--150", publisher = "{ACM}", title = "{Universal concurrent constraint programing: symbolic semantics and applications to security}", year = 2008, }