Author:
Grabe Immo,Jaghoori Mohammad Mahdi,Aichernig Bernhard,Baier Christel,Blechmann Tobias,de Boer Frank,Griesmayer Andreas,Broch Johnsen Einar,Klein Joachim,Klüppelholz Sascha,Kyas Marcel,Leister Wolfgang,Schlatte Rudolf,Stam Andries,Steffen Martin,Tschirner Simon,Xuedong Liang,Yi Wang
Subject
General Computer Science,Theoretical Computer Science
Reference18 articles.
1. Modeling and testing multi-threaded asynchronous systems with Creol;Aichernig;ENTCS,2009
2. Reo: A channel-based coordination model for component composition;Arbab;Mathematical Structures in Computer Science,2004
3. Modeling component connectors in Reo by constraint automata;Arbab;ENTCS,2004
4. Maude: Specification and programming in rewriting logic;Clavel;Theoretical Computer Science,2001
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Testing Perspective on Algebraic, Denotational, and Operational Semantics;Unifying Theories of Programming;2019
2. Integrated Environment for Verifying and Running Distributed Components;Fundamental Approaches to Software Engineering;2016
3. Survey on Development of Expert System from 2010 to 2015;Proceedings of the Second International Conference on Information and Communication Technology for Competitive Strategies - ICTCS '16;2016
4. Coordinating Multicore Computing;Lecture Notes in Computer Science;2015
5. Puff, The Magic Protocol;Formal Modeling: Actors, Open Systems, Biological Systems;2011