A formal method for rule analysis and validation in distributed data aggregation service

Vlad Nicolae Serbanescu, Florin Pop, Valentin Cristea, Gabriel Antoniu. A formal method for rule analysis and validation in distributed data aggregation service. World Wide Web, 18(6):1717-1736, 2015. [doi]

Abstract

Abstract is missing.