Formal modeling of synchronization methods for concurrent objects in Ada 95.
| Autor: | Gedela, Ravi K., Shatz, Sol M., Xu, Haiping |
|---|---|
| Zdroj: | Proceedings of the 1999 Annual ACM SIGADA International Conference: Ada; Oct1999, p211-220, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|