Formal Methods for Data Exchange
Data Exchange, Complexity, Algorithms, Logic, Model Theory, Category Theory, Parallel Algorithms