4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2026
A Unified Framework for Reaction Systems Based on Interval Structures
Paolo Bottoni, Anna Labella, Ion Petre
Reaction systems have evolved into a rich family of computational models differing in their treatment of multiplicities, resource management, concurrency, and state evolution. We i…
cs.CR2021★ 4 cited
A formal model for ledger management systems based on contracts and temporal logic
Paolo Bottoni, Anna Labella, Remo Pareschi
A key component of blockchain technology is the ledger, viz., a database that, unlike standard databases, keeps in memory the complete history of past transactions as in a notarial…