A Logical Interface Description Language for Components-Reference-Cited by-同舟云学术

A Logical Interface Description Language for Components

Published:2000 Issue: Volume: Page:249-266
ISSN:0302-9743
Container-title:Coordination Languages and Models
language:
Short-container-title:

Author:

Arbab F.,de Boer F. S.,Bonsangue M. M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45263-X_16

Reference18 articles.

1. G. Agha, I. Mason, S. Smith, and C. Talcott. A foundation for actor computation Journal of Functional Programming, 1(1):1–69, 1993.

2. F. Arbab, M.M. Bonsangue, and F.S. de Boer. A coordination language for mobile components. In Proc. of SAC 2000, pages 166–173, ACM press, 2000.

3. F. Arbab, I. Herman, and P. Spilling. An overview of Manifold and its implementation. Concurrency: Practice and Experience, 5(1):23–70, 1993.

4. K. Bergner, A. Rausch, M. Sihling, A. Vilbig An integrated view on componentware: concepts, description techniques, and development process. In R. Lee, editor, Proc. of IASTED Conference on Software Engineering, pages 77–82, ACTA Press, 1998.

5. K. Bergner, A. Rausch, M. Sihling, A. Vilbig, and M. Broy. A formal model for componentware. In M. Sitaraman and G. Leavens, editors, Foundation of Component-Based Systems, Cambridge University Press, 2000.

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

1. Towards Fluid Software Architectures: Bidirectional Human-AI Interaction;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11

2. Abstract Behavior Types: A Foundation Model for Components and Their Composition;Formal Methods for Components and Objects;2003

3. Coordination through Channel Composition;Lecture Notes in Computer Science;2002

4. Coordination of Mobile Components;Electronic Notes in Theoretical Computer Science;2001-08