49 citations · 79 across the 20 of their papers we have counts for
1 paper · 2 filters
Petros Papapanagiotou, Jacques D. Fleuriot
We present a rigorous framework for the composition of Web Services within a higher order logic theorem prover. Our approach is based on the proofs-as-processes paradigm that enabl…