2 papers
cs.LO2026
Completeness and incompleteness of basic matching logic
Xiaohong Chen, Grigore Rosu
Basic matching logic is matching logic without definedness. Symbols are interpreted as set-valued operations, element variables denote singletons and are bound by , and no…
cs.DC2025
FastSet: Parallel Claim Settlement
Xiaohong Chen, Grigore Rosu
FastSet is a distributed protocol for decentralized finance and settlement, which is inspired from both actors and blockchains. Account holders cooperate by making claims, which ca…