Publication:5019690

zbMath1477.68183arXiv2009.07989MaRDI QIDQ5019690

Hugo Torres Vieira, Letterio Galletta, Zorica Savanović

Publication date: 10 January 2022

Full work available at URL: https://arxiv.org/abs/2009.07989

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Uses Software

• FACTum