AI Chat AI Image Generator AI Video AI Music Generator

Lang-n-Send: Processes That Send Languages

03/24/2022

∙

by Matteo Cimini, et al.

∙

∙

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.

page 1

page 2

page 3

page 4

research

∙ 05/26/2023

Meta-MeTTa: an operational semantics for MeTTa

We present an operational semantics for the language MeTTa....

0 Lucius Gregory Meredith, et al. ∙

research

∙ 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...

0 Matteo Cimini, et al. ∙

research

∙ 12/08/2019

Formalizing Event-Driven Behavior of Serverless Applications

We present new operational semantics for serverless computing that model...

0 Matthew Obetz, et al. ∙

research

∙ 03/15/2023

Quantitative Global Memory

We show that recent approaches of static analysis based on quantitative ...

0 Sandra Alves, et al. ∙

research

∙ 07/09/2018

A Formal Approach to Open Multiparty Interactions

We present a process algebra aimed at describing interactions that are m...

0 Chiara Bodei, et al. ∙

research

∙ 02/21/2021

Certifying Choreography Compilation

Choreographic programming is a paradigm for developing concurrent and di...

0 Luís Cruz-Filipe, et al. ∙

research

∙ 09/06/2022

Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus

This paper shows how we can make use of an asynchronous transition syste...

0 Clément Aubert, et al. ∙