scientific article; zbMATH DE number 7297860

zbMath1458.68131arXiv1704.04620MaRDI QIDQ5144659

Ryo Tanaka, Akira Yoshimizu, Ugo Dal Lago

Publication date: 19 January 2021

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Leafy automata for higher-order concurrency, A Fresh Look at the λ-Calculus