LighTx: A Lightweight Proof-of-Bandwidth Transactions Transfer System.

Imane El Abid Yahya Benkaouz Ahmed Khoumsi

Published in: NETYS (2021)

Keyphrases

lightweight
database
theorem proving
transaction processing
communication infrastructure
theorem prover
linear logic
wireless sensor networks
computer networks
distributed database systems
transaction model