Amadio, Roberto M.; Castellani, Ilaria; Sangiorgi, Davide On bisimulations for the asynchronous \(\pi\)-calculus. (English) Zbl 0915.68009 Theor. Comput. Sci. 195, No. 2, 291-324 (1998). MSC: 68M10 PDFBibTeX XMLCite \textit{R. M. Amadio} et al., Theor. Comput. Sci. 195, No. 2, 291--324 (1998; Zbl 0915.68009) Full Text: DOI
Amadio, Roberto M.; Castellani, Ilaria; Sangiorgi, Davide On bisimulations for the asynchronous \(\pi \)-calculus. (English) Zbl 1514.68154 Montanari, Ugo (ed.) et al., CONCUR ‘96: Concurrency theory. 7th international conference, Pisa, Italy, August 26–29, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1119, 147-162 (1996). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. M. Amadio} et al., Lect. Notes Comput. Sci. 1119, 147--162 (1996; Zbl 1514.68154) Full Text: DOI