4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2026
Equational and Inductive Reasoning for Maude in Athena
Mateo Sanabria, Carlos Varela, Camilo Rocha +1
In the rewriting logic framework, equational-based specifications are used to define deterministic functional behavior, abstract data types, and canonical representations of data.…
cs.DC2021★ 4 cited
Formal Guarantees of Timely Progress for Distributed Knowledge Propagation
Saswata Paul, Stacy Patterson, Carlos Varela
Autonomous air traffic management (ATM) operations for urban air mobility (UAM) will necessitate the use of distributed protocols for decentralized coordination between aircraft. A…