@inproceedings{86be9eb6f6a7432094dea27635e6108d,
title = "A fully abstract encoding for sub asynchronous pi calculus",
abstract = "The paper investigates a notion of sub asynchronous pi-calculus in asynchronous communication. The emphasises of the research are the basic operation and encoding theory of this novel subcalculus. We focus on behavioural equivalences, accurately on barbed congruence and bisimilarity. The congruence of bisimilarity and characterisation of barbed congruence in sub asynchronous pi-calculus are novel and directly proved. The encoding from pi-calculus to sub asynchronous pi-calculus is validated to be complete and sound. Consequently, the results in this paper bring out theoretical foundations for constructing fully abstract encodings from synchronous to asynchronous.",
keywords = "Behavioural equivalence, Bisimulation, Completeness, Encoding, Fully abstract, Sub asynchronous pi-calculus",
author = "Wenjun Du and Zhengfeng Yang and Huibiao Zhu",
note = "Publisher Copyright: {\textcopyright} 2018 IEEE.; 12th International Symposium on Theoretical Aspects of Software Engineering, TASE 2018 ; Conference date: 29-08-2018 Through 31-08-2018",
year = "2018",
month = dec,
day = "4",
doi = "10.1109/TASE.2018.00011",
language = "英语",
series = "Proceedings - 2018 12th International Symposium on Theoretical Aspects of Software Engineering, TASE 2018",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "Proceedings - 2018 12th International Symposium on Theoretical Aspects of Software Engineering, TASE 2018",
address = "美国",
}