Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
A Compositional Semantics for Stochastic Reo ConnectorsMoon, Young-Joo ; Silva, Alexandra ; Krause, Christian ; Arbab, FarhadElectronic proceedings in theoretical computer science, 2010-07, Vol.30 (Proc. FOCLASA 2010), p.93-107Open Publishing AssociationTexto completo disponível |
|
2 |
Material Type: Artigo
|
Modeling dynamic reconfigurations in Reo using high-level replacement systemsKrause, Christian ; Maraikar, Ziyan ; Lazovik, Alexander ; Arbab, FarhadScience of computer programming, 2011, Vol.76 (1), p.23-36 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
3 |
Material Type: Artigo
|
A compositional model to reason about end-to-end QoS in Stochastic Reo connectorsMoon, Young-Joo ; Silva, Alexandra ; Krause, Christian ; Arbab, FarhadScience of computer programming, 2014-02, Vol.80, p.3-24 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
Encoding Context-Sensitivity in Reo into Non-Context-Sensitive Semantic ModelsJongmans, Sung-Shik T. Q. ; Krause, Christian ; Arbab, FarhadCoordination Models and Languages, 2011, Vol.LNCS-6721, p.31-48 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
5 |
Material Type: Artigo
|
A Compositional Semantics for Stochastic Reo ConnectorsYoung-Joo, Moon ; Silva, Alexandra ; Krause, Christian ; Arbab, FarhadarXiv.org, 2010-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |