| Equivalence of Denotational and Operational Semantics for Interaction Languages | 0 | 0.34 | 2022 |
| Revisiting Semantics of Interactions for Trace Validity Analysis. | 0 | 0.34 | 2020 |
| A Data Flow Model with Frequency Arithmetic. | 0 | 0.34 | 2019 |
| Testing Web Service Orchestrators in Context: A Symbolic Approach | 5 | 0.42 | 2010 |
