scientific article; zbMATH DE number 7360244

zbMath1464.68226arXiv1306.0026MaRDI QIDQ4994119

Paolo Di Giamberardino, Roberto Zunino, Massimo Bartoletti, Tiziana Cimoli

Publication date: 17 June 2021

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

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

Mathematics Subject Classification ID

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

Related Items (1)

Debits and Credits in Petri Nets and Linear Logic

This page was built for publication: