共 50 条
- [24] Process algebra-based formal service description method Zhang, Y. (zhangyx@mail.tsinghua.edu.cn), 1769, Tsinghua University (52):
- [25] Fast Linear Algebra-Based Triangle Counting with KokkosKernels 2017 IEEE HIGH PERFORMANCE EXTREME COMPUTING CONFERENCE (HPEC), 2017,
- [30] An algebra-based method to associate rewards with EMPA terms AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 : 358 - 368