Camilo Rocha

A Random Network Model for the Analysis of Blockchain Designs with Communication Delay

2019 · arXiv (Cornell University)

This paper proposes a random network model for blockchains, a distributed hierarchical data structure of blocks that has found several applications in various industries. The model is parametric on two probability distribution functions governing block …

A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems

2022 · Journal of Logical and Algebraic Methods in Programming

This paper develops an algorithmic-based approach for proving inductive properties of propositional sequent systems such as admissibility, invertibility, cut-admissibility, and identity expansion. Although undecidable in general, these structural properties are crucial in proof theory because …