40 citations · 45 across the 6 of their papers we have counts for
1 paper · 1 filter
Matteo Cimini
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. Further…