Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compositional equivalences based on open pNets;Journal of Logical and Algebraic Methods in Programming;2023-02
2. Compositional Equivalences Based on Open Pnets;SSRN Electronic Journal;2022
3. Verification of Concurrent Design Patterns with Data;Lecture Notes in Computer Science;2019
4. Compositional Verification in Action;Formal Methods for Industrial Critical Systems;2018
5. Coordination of Dynamic Software Components with JavaBIP;Formal Aspects of Component Software;2017