scientific article; zbMATH DE number 7167779

zbMath1433.68263arXiv1508.04855MaRDI QIDQ5216156

Qiang Yin, Huan Long, Xian Xu

Publication date: 14 February 2020

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

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

Mathematics Subject Classification ID

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

Related Items (5)

Parameterizing higher-order processes on names and processes ⋮ Unnamed Item ⋮ On the relative expressiveness of higher-order session processes ⋮ On the interactive power of higher-order processes extended with parameterization ⋮ Unnamed Item

This page was built for publication: