2012
A compositional model to reason about end-to-end QoS in stochastic Reo connectors
Publication
Publication
Additional Metadata | |
---|---|
North-Holland | |
Science of Computer Programming | |
Organisation | Computer Security |
Moon, Y.-J., Silva, A., Krause (born Köhler), C., & Arbab, F. (2012). A compositional model to reason about end-to-end QoS in stochastic Reo connectors. Science of Computer Programming. |