scientific article; zbMATH DE number 7360247

zbMath1464.68270arXiv1310.4572MaRDI QIDQ4994121

Xian Xu

Publication date: 17 June 2021

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

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

zbMATH Keywords

higher-order processescontext bisimulationnormal bisimulation

Mathematics Subject Classification ID

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

Related Items (3)

Characteristic bisimulation for higher-order session processes ⋮ Parameterizing higher-order processes on names and processes ⋮ Unnamed Item

This page was built for publication: