1 citations · 1 across the 4 of their papers we have counts for
4 papers
Design-by-Contract for Flexible Multiparty Session Protocols -- Extended Version
Lorenzo Gheri, Ivan Lanese, Neil Sayers +2
Choreographic models support a correctness-by-construction principle in distributed programming. Also, they enable the automatic generation of correct message-based communication p…
Case Studies in Formal Reasoning About Lambda-Calculus: Semantics, Church-Rosser, Standardization and HOAS
Lorenzo Gheri, Andrei Popescu
We have previously published the Isabelle/HOL formalization of a general theory of syntax with bindings. In this companion paper, we instantiate the general theory to the syntax of…
Zooid: a DSL for Certified Multiparty Computation
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri +1
We design and implement Zooid, a domain specific language for certified multiparty communication, embedded in Coq and implemented atop our mechanisation framework of asynchronous m…
A Formalized General Theory of Syntax with Bindings
Lorenzo Gheri, Andrei Popescu
We present the formalization of a theory of syntax with bindings that has been developed and refined over the last decade to support several large formalization efforts. Terms are…