Principles of proving concurrent programs in Gypsy.
| Autor: | Good, Donald I., Cohen, Richard M., Keeton-Williams, James |
|---|---|
| Zdroj: | Proceedings of the 6th ACM SIGACT-SIGPLAN Symposium: Principles of Programming Languages; Jan1979, p42-52, 11p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|