Interface Input/Output Automata-Reference-Cited by-同舟云学术

Interface Input/Output Automata

Published:2006 Issue: Volume: Page:82-97
ISSN:0302-9743
Container-title:FM 2006: Formal Methods
language:
Short-container-title:

Author:

Larsen Kim G.,Nyman Ulrik,Wąsowski Andrzej

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11813040_7.pdf

Reference22 articles.

1. Igarashi, A., Kobayashi, N.: A generic type system for the pi-calculus. In: POPL 2001, ACM Press, New York (2001)

2. Lecture Notes in Computer Science;S.K. Rajamani,2002

3. Lee, E.A., Xiong, Y.: A behavioral type system and its application in Ptolemy II. Formal Aspects of Computing Journal (special issue on Semantic Foundations of Engineering Design Languages) (2004)

4. Lee, E.A., Zheng, H., Zhou, Y.: Causality interfaces and compositional causality analysis. In: [22]

5. Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), Vienna, Austria, pp. 109–120. ACM Press, New York (2001)

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

1. Information-flow interfaces;Formal Methods in System Design;2024-05-23

2. Contract Automata: A Specification Language for Mode-Based Systems;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14

3. Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications;Runtime Verification;2023

4. Hypercontracts;Lecture Notes in Computer Science;2022

5. Information-flow Interfaces;Fundamental Approaches to Software Engineering;2022