1993
Compositional analysis for concurrent constraint programming
Publication
Publication
Presented at the
IEEE Symposium on Logic in Computer Science, Los Alamitos, USA
Additional Metadata | |
---|---|
, , | |
IEEE Computer Society Press (Los Alamitos, CA) | |
IEEE Symposium on Logic in Computer Science | |
Falaschi, M., Gabbrielli, M., Marriott, K., & Palamidessi, C. (1993). Compositional analysis for concurrent constraint programming. In Eighth Annual IEEE Symposium on Logic in Computer Science 1993 (LICS 8) (pp. 210–221). IEEE Computer Society Press (Los Alamitos, CA). |