Representing the Finite pi-calculus in Multi-Interaction Nets: Concurrency = Interaction + Non-determinism. Alexiev, V. Technical Report University of Alberta, April, 1998.
Paper abstract bibtex 1 download 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://vladimiralexiev.github.io/my/pubs/Alexiev1998-finitePi.pdf},
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: 1
{"_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://vladimiralexiev.github.io/my/pubs/Alexiev1998-finitePi.pdf","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://vladimiralexiev.github.io/my/pubs/Alexiev1998-finitePi.pdf},\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://vladimiralexiev.github.io/my/pubs/Alexiev1998-finitePi.pdf"},"keyword":["pi-calculus","interaction nets","linear logic","concurrent computation","distributed computation"],"metadata":{"authorlinks":{"alexiev, v":"https://vladimiralexiev.github.io/my/"}},"downloads":1},"bibtype":"techreport","biburl":"https://vladimiralexiev.github.io/my/Alexiev-bibliography.bib","downloads":1,"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","qQ4QyF9WbfwAyRcSb"]}