scientific article; zbMATH DE number 7471670

MaRDI QIDQ5028430

Maurizio Murgia, Letterio Galletta, Massimo Bartoletti

Publication date: 9 February 2022

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

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Sequential and concurrent behaviour in Petri net theory
• Adding concurrency to smart contracts
• A Shared Memory Computer Display System
• Is Solidity Solid Enough?
• Unnamed Item
• Unnamed Item

This page was built for publication: