About this scholarly article

Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 - Proving concurrent constraint programs correct by de Boer, Frank S.; Gabbrielli, Maurizio; Marchiori, Elena; Palamidessi, Catuscia is a scholarly article available to read on EtoBox.

Author

de Boer, Frank S.; Gabbrielli, Maurizio; Marchiori, Elena; Palamidessi, Catuscia

Publisher

ACM Press

Published

1994

Language

EN