Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems-Reference-Cited by-同舟云学术

Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems

Published:2011 Issue: Volume: Page:51-67
ISSN:0302-9743
Container-title:Software Composition
language:
Short-container-title:

Author:

Bliudze Simon,Sifakis Joseph

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-22045-6_4

Reference27 articles.

1. Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in BIP. In: 4 th IEEE Int. Conf. on Software Engineering and Formal Methods (SEFM 2006), pp. 3–12 (2006) Invited talk

2. Lecture Notes in Computer Science;S. Bliudze,2008

3. Bloom, B.: Ready Simulation, Bisimulation, and the Semantics of CCS-Like Languages. PhD thesis, Massachusetts Institute of Technology (1989)

4. Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)

5. Mousavi, M., Reniers, M.A., Groote, J.F.: SOS formats and meta-theory: 20 years after. Theoretical Computer Science 373(3), 238–272 (2007)

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems;Lecture Notes in Computer Science;2023

2. A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures;Algebraic Informatics;2022

3. Expressiveness of component-based frameworks: a study of the expressiveness of BIP;Acta Informatica;2019-06-15

4. Typed connector families and their semantics;Science of Computer Programming;2017-10

5. Exogenous coordination of concurrent software components with JavaBIP;Software: Practice and Experience;2017-04-03