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. |