Compositional analysis for concurrent constraint programming

1993

Presented at the IEEE Symposium on Logic in Computer Science, Los Alamitos, USA

Additional Metadata
MSC	Logic programming (msc 68N17), Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (msc 68Q10), Semantics (msc 68Q55)
Publisher	IEEE Computer Society Press (Los Alamitos, CA)
Conference	IEEE Symposium on Logic in Computer Science
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Falaschi, M., Gabbrielli, M., Marriott, K.& Palamidessi, C. (1993). Compositional analysis for concurrent constraint programming. Eighth Annual IEEE Symposium on Logic in Computer Science 1993 (LICS 8), 210–221.

Publication