Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference47 articles.
1. Bisimulations on data graphs;Abriola;J. Artif. Intell. Res.,2018
2. Behavioural semantics for asynchronous components;Ameur-Boulifa;J. Log. Algebraic Methods Program.,2017
3. Synchronised behaviours of processes and rational relations;Arnold;Acta Inform.,1982
4. Bisimulation by unification;Baldan,2002
5. A semantic framework for open processes;Baldan;Theor. Comput. Sci.,2007
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Refinements for Open Automata;Software Engineering and Formal Methods;2023