Paper: Phase Semantics and Verification of Concurrent Constraint Programs (at LICS 1998)
Authors: François Fages Paul Ruet Sylvain SolimanAbstract
No Abstract Available
BibTeX
@InProceedings{FagesRuetSoliman-PhaseSemanticsandVe, author = {François Fages and Paul Ruet and Sylvain Soliman}, title = {Phase Semantics and Verification of Concurrent Constraint Programs}, booktitle = {Proceedings of the Thirteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1998}, year = 1998, editor = {Vaughan Pratt}, month = {June}, pages = {141-152}, location = {Indianapolis, IN, USA}, publisher = {IEEE Computer Society Press} }