2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.CL2019
Extending the Service Composition Formalism with Relational Parameters
Paul Diac, Liana Tucar, Radu Mereuta
Web Service Composition deals with the (re)use of Web Services to provide complex functionality, inexistent in any single service. Over the state-of-the-art, we introduce a new typ…
cs.PL2018★ 2 cited
All-Path Reachability Logic
Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta +3
This paper presents a language-independent proof system for reachability properties of programs written in non-deterministic (e.g., concurrent) languages, referred to as all-path r…