TY -
GEN
AU - Ramírez Restrepo, Carlos Alberto
AU - Pérez, Jorge A.
TI -
Rewriting Logic and Its Applications: Executable Semantics and Type Checking for Session-Based Concurrency in Maude
PB - Springer International Publishing
SN - 0302-9743
SN - 1611-3349
PY - 2022
ER -