Author:
Koutavas Vasileios,Gazda Maciej,Hennessy Matthew
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference24 articles.
1. A domain equation for bisimulation;Abramsky;Inf. Comput.,1991
2. A tutorial on Uppaal;Behrmann,2004
3. cJoin: Join with communicating transactions;Bruni;Math. Struct. Comput. Sci.,2015
4. On automatically distinguishing inequivalent processes;Cleaveland,1990
5. The NCSU concurrency workbench;Cleaveland,1996
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献