A Coinductive Calculus of Component Connectors-Reference-Cited by-同舟云学术

A Coinductive Calculus of Component Connectors

Published:2003 Issue: Volume: Page:34-55
ISSN:0302-9743
Container-title:Recent Trends in Algebraic Development Techniques
language:
Short-container-title:

Author:

Arbab F.,Rutten J. J. M. M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-40020-2_2

Reference12 articles.

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

2. Arbab, F.: A channel-based coordination model for component composition. Report SEN-R0203, CWI (2002), Available at URL, http://www.cwi.nl

3. Barbosa, L.: Components as Coalgebras. PhD thesis, Universidade do Minho, Braga, Portugal (2001)

4. Barringer, H., Kuiper, R., Pnueli, A.: A really abstract concurrent model and its temporal logic. In: Proceedings of the 13th Annual ACM Symposium on Principles of Programming Languages, pp. 173–183. ACM, New York (1986)

5. Monographs in Computer Science;M. Broy,2001

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

1. Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS Components;Lecture Notes in Computer Science;2024

2. Component-based Distributed Software Reconfiguration:A Verification-oriented Survey;ACM Computing Surveys;2023-08-26

3. Formal Modeling and Verification of Timed Connectors in IoT with Z3;2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE);2023-07-24

4. Runtime Composition of Systems of Interacting Cyber-Physical Components;Recent Trends in Algebraic Development Techniques;2023

5. Connection models for the Internet-of-Things;Frontiers of Computer Science;2019-12-07