Synthesis rules for cyclic interactions among processes in concurrent systems.
| Autor: | Ramamoorthy, C.V., Yaw, Y., Tsai, W.T. |
|---|---|
| Zdroj: | Proceedings COMPSAC 88: The Twelfth Annual International Computer Software & Applications Conference; 1988, p497-504, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|