A calculus for interaction nets based on the linear chemical abstract machine
scientific article; zbMATH DE number 6236498