Distributed Transition System with Tags and Value-wise Metric, for Privacy Analysis

Siva Anantharaman, Sabine Frittella, Benjamin Nguyen

We introduce a logical framework named Distributed Labeled Tagged Transition System (DLTTS), using concepts from Probabilistic Automata, Probabilistic Concurrent Systems, and Proba…