scientific article

zbMath1271.68075MaRDI QIDQ2845519

Elio Giovannetti

Publication date: 30 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066103000148

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) Logic programming (68N17)