A structural induction theorem for processes.
| Autor: | Kurshan, R. P., McMillan, K. |
|---|---|
| Zdroj: | Proceedings of the Eighth Annual ACM Symposium: Principles of Distributed Computing; 6/ 1/1989, p239-247, 9p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Kurshan, R. P., McMillan, K. |
|---|---|
| Zdroj: | Proceedings of the Eighth Annual ACM Symposium: Principles of Distributed Computing; 6/ 1/1989, p239-247, 9p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|