Abstract Behavior Types: A Foundation Model for Components and Their Composition-Reference-Cited by-同舟云学术

Abstract Behavior Types: A Foundation Model for Components and Their Composition

Published:2003 Issue: Volume: Page:33-70
ISSN:0302-9743
Container-title:Formal Methods for Components and Objects
language:
Short-container-title:

Author:

Arbab Farhad

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-39656-7_2

Reference58 articles.

1. Lecture Notes in Computer Science;F. Arbab,1996

2. Arbab, F.: What do you mean, coordination? In: Bulletin of the Dutch Association for Theoretical Computer Science, NVTI, pp. 11–22 (1998), Available on-line http://www.cwi.nl/NVTI/Nieuwsbrief/nieuwsbrief.html

3. Arbab, F.: A channel-based coordination model for component composition. Technical Report SEN-R0203, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands (February 2002)

4. Arbab, F.: Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science (2003)

5. Arbab, F., de Boer, F.S., Bonsangue, M.M., Guillen Scholten, J.V.: MoCha: A framework for coordination using mobile channels. Technical Report SEN-R0128, Centrum voor Wiskunde en Informatica, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands (December 2001)

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

1. An Enhanced Model for Stochastic Coordination;Electronic Proceedings in Theoretical Computer Science;2016-10-25

2. Modeling Role-Based Systems with Exogenous Coordination;Theory and Practice of Formal Methods;2016

3. Component interconnect and data access interface for embedded vision applications;Journal of Real-Time Image Processing;2015-07-14

4. Behavioral Types for Component-Based Development of Cyber-Physical Systems;Software Engineering and Formal Methods;2015

5. Quantitative analysis of Reo-based service coordination;Proceedings of the 29th Annual ACM Symposium on Applied Computing;2014-03-24