DeepAI AI Chat
Log In Sign Up

Lang-n-Send: Processes That Send Languages

03/24/2022
by   Matteo Cimini, et al.
UMass Lowell
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

05/26/2023

Meta-MeTTa: an operational semantics for MeTTa

We present an operational semantics for the language MeTTa....
08/09/2022

Lang-n-Send Extended: Sending Regular Expressions to Monitors

In prior work, Cimini has presented Lang-n-Send, a pi-calculus with lang...
12/08/2019

Formalizing Event-Driven Behavior of Serverless Applications

We present new operational semantics for serverless computing that model...
03/15/2023

Quantitative Global Memory

We show that recent approaches of static analysis based on quantitative ...
07/09/2018

A Formal Approach to Open Multiparty Interactions

We present a process algebra aimed at describing interactions that are m...
02/21/2021

Certifying Choreography Compilation

Choreographic programming is a paradigm for developing concurrent and di...
09/12/2019

Towards Gradually Typed Capabilities in the Pi-Calculus

Gradual typing is an approach to integrating static and dynamic typing w...