research
∙
04/13/2023
A Declarative Validator for GSOS Languages
Rule formats can quickly establish meta-theoretic properties of process ...
share
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...
research
∙
03/24/2022
Lang-n-Send: Processes That Send Languages
We present Lang-n-Send, a pi-calculus that is equipped with language def...
research
∙
08/24/2021
Language Transformations in the Classroom
Language transformations are algorithms that take a language specificati...
research
∙
10/25/2019
A Calculus for Language Transformations
In this paper we propose a calculus for expressing algorithms for progra...
research
∙
09/12/2019
