Lang-n-Send: Processes That Send Languages

Matteo Cimini
(University of Massachusetts Lowell, USA)

We present Lang-n-Send, a pi-calculus that is equipped with language definitions. Processes can define languages in operational semantics, and use them to execute programs. Furthermore, processes can send and receive pieces of operational semantics through channels.

We present a reduction semantics for Lang-n-Send, and we offer examples that demonstrate some of the scenarios that Lang-n-Send captures.

In Marco Carbone and Rumyana Neykova: Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2022), Munich, Germany, 3rd April 2022, Electronic Proceedings in Theoretical Computer Science 356, pp. 46–56.
Published: 24th March 2022.
ArXived at: https://dx.doi.org/10.4204/EPTCS.356.5 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org