For example, Lee and Sangiovanni-Vincentelli have demonstrated that a so-called "tagged-signal" model can be used to provide a common framework for defining the denotational semantics of a variety of different models of concurrency, while Nielsen, Sassone, and Winskel have demonstrated that category theory can be used to provide a similar unified understanding of different models.
De exemplu, Lee și Sangiovanni-Vincentelli au demonstrat că modelul tagged-semnal poate fi folosit pentru a oferi un cadru comun pentru definirea semanticii denotaționale a unei varietăți de modele diferite de concurență,, în timp ce Nielsen, Sassone și Winskel au demonstrat că teoria categoriilor poate fi folosită pentru a oferi o înțelegere unificată diferitor modele.