Publisher
Springer Nature Singapore
Reference31 articles.
1. Lecture Notes in Computer Science;R Atkey,2016
2. Berger, M., Honda, K.: The two-phase commitment protocol in an extended pi-calculus. In: Aceto, L., Victor, B. (eds.) 7th International Workshop on Expressiveness in Concurrency, EXPRESS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, 21 August 2000. Electronic Notes in Theoretical Computer Science, vol. 39, pp. 21–46. Elsevier (2000). https://doi.org/10.1016/S1571-0661(05)82502-2
3. Lecture Notes in Computer Science;G Boudol,1993
4. Boudol, G., Laneve, C.: Lambda-calculus, multiplicities, and the pi-calculus. In: Proof, Language, and Interaction, Essays in Honour of Robin Milner, pp. 659–690 (2000)
5. Lecture Notes in Computer Science;L Caires,2017