Affiliation:
1. Faculty of Computer Science, Technische Universität Dresden, Germany. baier@tcs.inf.tu-dresden.de; klein@tcs.inf.tu-dresden.de; klueppel@tcs.inf.tu-dresden.de
Subject
Computational Theory and Mathematics,Information Systems,Algebra and Number Theory,Theoretical Computer Science
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Soft component automata: Composition, compilation, logic, and verification;Science of Computer Programming;2019-09
2. An Effective Algorithm for Testing of O–Codes;Advances in Intelligent Systems and Computing;2018-08-28
3. Combine and conquer: Relating BIP and Reo;Journal of Logical and Algebraic Methods in Programming;2017-01
4. Modeling Role-Based Systems with Exogenous Coordination;Theory and Practice of Formal Methods;2016
5. Relating BIP and Reo;Electronic Proceedings in Theoretical Computer Science;2015-08-19