Quantitative analysis of Reo-based service coordination-Reference-Cited by-同舟云学术

Quantitative analysis of Reo-based service coordination

Published:2014-03-24 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 29th Annual ACM Symposium on Applied Computing
language:
Short-container-title:

Author:

Oliveira Nuno¹,Silva Alexandra²,Barbosa Luís S.¹

Affiliation:

1. Universidade do Minho, Braga, Portugal

2. Radboud University Nijmegen, Amsterdam, The Netherlands

Funder

Fundação para a Ciência e a Tecnologia

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2554850.2555025

Reference32 articles.

1. F. Arbab . Abstract behavior types: A foundation model for components and their composition. In F. S. de Boer M. M. Bonsangue S. Graf and W. de Roever editors Formal Methods for Components and Objects volume 2852 of LNCS chapter 2 pages 33 -- 70 . Springer 2003 . F. Arbab. Abstract behavior types: A foundation model for components and their composition. In F. S. de Boer M. M. Bonsangue S. Graf and W. de Roever editors Formal Methods for Components and Objects volume 2852 of LNCS chapter 2 pages 33--70. Springer 2003.

2. Reo: a channel-based coordination model for component composition

3. F. Arbab R. Bruni D. Clarke I. Lanese and U. Montanari . Tiles for reo. In A. Corradini and U. Montanari editors Recent Trends in Algebraic Development Techniques volume 5486 of LNCS pages 37 -- 55 . Springer 2009 . 10.1007/978-3-642-03429-9_4 F. Arbab R. Bruni D. Clarke I. Lanese and U. Montanari. Tiles for reo. In A. Corradini and U. Montanari editors Recent Trends in Algebraic Development Techniques volume 5486 of LNCS pages 37--55. Springer 2009. 10.1007/978-3-642-03429-9_4

4. F. Arbab T. Chothia R. van der Mei S. Meng Y. Moon and C. Verhoef . From coordination to stochastic models of QoS. In J. Field and V. Vasconcelos editors Coordination Models and Languages volume 5521 of LNCS chapter 14 pages 268 -- 287 . Springer 2009 . 10.1007/978-3-642-02053-7_14 F. Arbab T. Chothia R. van der Mei S. Meng Y. Moon and C. Verhoef. From coordination to stochastic models of QoS. In J. Field and V. Vasconcelos editors Coordination Models and Languages volume 5521 of LNCS chapter 14 pages 268--287. Springer 2009. 10.1007/978-3-642-02053-7_14