scientific article; zbMATH DE number 6774228
From MaRDI portal
Publication:5357721
DOI10.4230/LIPIcs.CONCUR.2015.427zbMath1374.68097MaRDI QIDQ5357721
Yu-xin Deng, Ugo Dal Lago, Yuan Feng
Publication date: 12 September 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Quantum computation (81P68) Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies ⋮ Unnamed Item
This page was built for publication: