مؤتمر
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 |