![](/img/cover-not-exists.png)
[ACM Press the 21st ACM SIGPLAN-SIGACT symposium - Portland, Oregon, United States (1994.01.16-1994.01.19)] Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 - Proving concurrent constraint programs correct
de Boer, Frank S., Gabbrielli, Maurizio, Marchiori, Elena, Palamidessi, CatusciaYear:
1994
Language:
english
DOI:
10.1145/174675.176925
File:
PDF, 1.03 MB
english, 1994