2006
Formal Semantics and Analysis of Component Connectors in reo
Publication
Publication
Electronic Notes in Theoretical Computer Science , Volume 154 p. 83- 99
| Additional Metadata | |
|---|---|
| Elsevier | |
| Electronic Notes in Theoretical Computer Science | |
| Organisation | Computer Security |
|
Mousavi, M. R., Sirjani, M., & Arbab, F. (2006). Formal Semantics and Analysis of Component Connectors in reo. Electronic Notes in Theoretical Computer Science, 154, 83–99. |
|