مؤتمر
A Fully Abstract Encoding for Sub Asynchronous Pi Calculus
| العنوان: | A Fully Abstract Encoding for Sub Asynchronous Pi Calculus |
|---|---|
| المؤلفون: | Du, Wenjun, Yang, Zhengfeng, Zhu, Huibiao |
| المصدر: | 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE) TASE Theoretical Aspects of Software Engineering (TASE), 2018 International Symposium on. :17-27 Aug, 2018 |
| Relation: | 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
| ردمك: | 9781538673058 |
|---|---|
| DOI: | 10.1109/TASE.2018.00011 |