共 50 条
- [3] Priority and abstraction in process algebra [J]. FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1994, 880 : 217 - 230
- [5] Priority and abstraction in process algebra [J]. INFORMATION AND COMPUTATION, 2007, 205 (09) : 1426 - 1458
- [7] An Abstraction Method of Behaviors for Process Algebra [J]. 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS (COMPSACW), 2013, : 133 - 138
- [8] Lines and colours - Cezanne's abstraction and Richter's figures [J]. ANGELAKI-JOURNAL OF THE THEORETICAL HUMANITIES, 2003, 8 (01): : 27 - 41
- [9] Format Abstraction for Sparse Tensor Algebra Compilers [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2 (02):