3 papers
cs.PL2023
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
Adam D. Barwell, Ping Hou, Nobuko Yoshida +1
Session types provide a typing discipline for message-passing systems. However, most session type approaches assume an ideal world: one in which everything is reliable and without…
cs.LO2012
LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions
Ping Hou, Johan Wittocx, Marc Denecker
The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. Such logic formally extends logic programming,…
cs.LO2012
Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems
Ping Hou
We combine quantified differential dynamic logic (QdL) for reasoning about the possible behavior of distributed hybrid systems with temporal logic for reasoning about the temporal…