%0 Conference Paper %1 conf/iclp/FalaschiGMP94 %A Falaschi, Moreno %A Gabbrielli, Maurizio %A Marriott, Kim %A Palamidessi, Catuscia %B ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages %D 1994 %E de Boer, Frank S. %E Gabbrielli, Maurizio %K dblp %T Denotational semantics for Concurrent Constraint Programs analyses. %U http://dblp.uni-trier.de/db/conf/iclp/iclp94-w2.html#FalaschiGMP94

@inproceedings{conf/iclp/FalaschiGMP94, added-at = {2013-12-02T00:00:00.000+0100}, author = {Falaschi, Moreno and Gabbrielli, Maurizio and Marriott, Kim and Palamidessi, Catuscia}, biburl = {https://www.bibsonomy.org/bibtex/2bc11a05ddccc38f9db7e03894c2652bf/dblp}, booktitle = {ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages}, crossref = {conf/iclp/1994w2}, editor = {de Boer, Frank S. and Gabbrielli, Maurizio}, interhash = {5f03b98296eae34b3c797afdfb05cf54}, intrahash = {bc11a05ddccc38f9db7e03894c2652bf}, keywords = {dblp}, timestamp = {2013-12-03T11:35:24.000+0100}, title = {Denotational semantics for Concurrent Constraint Programs analyses.}, url = {http://dblp.uni-trier.de/db/conf/iclp/iclp94-w2.html#FalaschiGMP94}, year = 1994 }