Representing the Finite pi-calculus in Multi-Interaction Nets: Concurrency = Interaction + Non-determinism. Alexiev, V. Technical Report University of Alberta, April, 1998. Paper Citeseer abstract bibtex We extend the Interaction Nets of Lafont with some non-determinism capabilities and then show how to implement the finite monadic pi-calculus in that system
@TechReport{Alexiev1998-finitePi,
author = {Vladimir Alexiev},
title = {{Representing the Finite pi-calculus in Multi-Interaction Nets: Concurrency = Interaction + Non-determinism}},
institution = {University of Alberta},
year = 1998,
month = apr,
url = {https://rawgit2.com/VladimirAlexiev/my/master/pubs/Alexiev1998-finitePi.pdf},
url_CiteSeer = {https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.8381},
keywords = {pi-calculus, interaction nets, linear logic, concurrent computation,distributed computation},
abstract = {We extend the Interaction Nets of Lafont with some non-determinism capabilities and then show how to implement the finite monadic pi-calculus in that system},
}
Downloads: 0
{"_id":{"_str":"5351586b0b79f58e7a0001b0"},"__v":0,"authorIDs":["56ba0fcf16a1deb95500029f","Cy3yEAcX3dbuq4xMC","FrRQJytwCzTi3PiNC","T7F3ZKH8GpLhZMAzy","xDxoTrxKYWXDTNfy4"],"author_short":["Alexiev, V."],"bibbaseid":"alexiev-representingthefinitepicalculusinmultiinteractionnetsconcurrencyinteractionnondeterminism-1998","bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["Vladimir"],"propositions":[],"lastnames":["Alexiev"],"suffixes":[]}],"title":"Representing the Finite pi-calculus in Multi-Interaction Nets: Concurrency = Interaction + Non-determinism","institution":"University of Alberta","year":"1998","month":"April","url":"https://rawgit2.com/VladimirAlexiev/my/master/pubs/Alexiev1998-finitePi.pdf","url_citeseer":"https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.8381","keywords":"pi-calculus, interaction nets, linear logic, concurrent computation,distributed computation","abstract":"We extend the Interaction Nets of Lafont with some non-determinism capabilities and then show how to implement the finite monadic pi-calculus in that system","bibtex":"@TechReport{Alexiev1998-finitePi,\n author = {Vladimir Alexiev},\n title = {{Representing the Finite pi-calculus in Multi-Interaction Nets: Concurrency = Interaction + Non-determinism}},\n institution = {University of Alberta},\n year = 1998,\n month = apr,\n url = {https://rawgit2.com/VladimirAlexiev/my/master/pubs/Alexiev1998-finitePi.pdf},\n url_CiteSeer = {https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.8381},\n keywords = {pi-calculus, interaction nets, linear logic, concurrent computation,distributed computation},\n abstract = {We extend the Interaction Nets of Lafont with some non-determinism capabilities and then show how to implement the finite monadic pi-calculus in that system},\n}\n\n","author_short":["Alexiev, V."],"key":"Alexiev1998-finitePi","id":"Alexiev1998-finitePi","bibbaseid":"alexiev-representingthefinitepicalculusinmultiinteractionnetsconcurrencyinteractionnondeterminism-1998","role":"author","urls":{"Paper":"https://rawgit2.com/VladimirAlexiev/my/master/pubs/Alexiev1998-finitePi.pdf"," citeseer":"https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.8381"},"keyword":["pi-calculus","interaction nets","linear logic","concurrent computation","distributed computation"],"metadata":{"authorlinks":{"alexiev, v":"https://rawgit2.com/VladimirAlexiev/my/master/index.html"}},"downloads":0},"bibtype":"techreport","biburl":"http://rawgit2.com/VladimirAlexiev/my/master/Alexiev-bibliography.bib","downloads":0,"keywords":["pi-calculus","interaction nets","linear logic","concurrent computation","distributed computation"],"search_terms":["representing","finite","calculus","multi","interaction","nets","concurrency","interaction","non","determinism","alexiev"],"title":"Representing the Finite pi-calculus in Multi-Interaction Nets: Concurrency = Interaction + Non-determinism","year":1998,"dataSources":["fmPsPQKhqqQkXh5M4","GweCNx2ZyPa9cXx7D"]}