%0 Conference Paper %1 conf/mfcs/FerrariMQ94 %A Ferrari, Gian-Luigi %A Montanari, Ugo %A Quaglia, Paola %B MFCS %D 1994 %E Prívara, Igor %E Rovan, Branislav %E Ruzicka, Peter %I Springer %K dblp %P 342-351 %T A Pi-Calculus with Explicit Substitutions: the Late Semantics. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs94.html#FerrariMQ94 %V 841 %@ 3-540-58338-6

@inproceedings{conf/mfcs/FerrariMQ94, added-at = {2023-06-23T00:00:00.000+0200}, author = {Ferrari, Gian-Luigi and Montanari, Ugo and Quaglia, Paola}, biburl = {https://www.bibsonomy.org/bibtex/2fac3aa621bdc82e7b60249dee023c967/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/1994}, editor = {Prívara, Igor and Rovan, Branislav and Ruzicka, Peter}, ee = {https://doi.org/10.1007/3-540-58338-6_81}, interhash = {26f61109f5fde0dcfdf577faccbb3727}, intrahash = {fac3aa621bdc82e7b60249dee023c967}, isbn = {3-540-58338-6}, keywords = {dblp}, pages = {342-351}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:30:22.000+0200}, title = {A Pi-Calculus with Explicit Substitutions: the Late Semantics.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs94.html#FerrariMQ94}, volume = 841, year = 1994 }