Publisher
Springer Berlin Heidelberg
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Symbolic Semantics for Multiparty Interactions in the Link-Calculus;SOFSEM 2017: Theory and Practice of Computer Science;2017
2. Twenty years of rewriting logic;The Journal of Logic and Algebraic Programming;2012-10
3. Transforming SOS Specifications to Linear Processes;Formal Methods for Industrial Critical Systems;2011
4. Techniques for Executing and Reasoning about Specification Diagrams;Algebraic Methodology and Software Technology;2004