Ταυτοχρονισμός: Διαφορά μεταξύ των αναθεωρήσεων

Η ποικιλία διαφορετικών μοντέλων για τον ταυτοχρονισμό έκανε κάποιους ερευνητές να αναπτύξουν τρόπους να ενοποιήσουν αυτά τα διαφορετικά θεωρητικά μοντέλα. Για παράδειγμα, οι Lee και Sangiovanni-Vincentelli έδειξαν ότι ένα μοντέλο "tagged-signal" μπορεί να είναι ένα κοινό πλαίσιο για τον ορισμό [[δηλωτική σημασιολογία|δηλωτικής σημασιολογίας]] για αρκετά μοντέλα ταυτοχρονισμού,<ref>{{cite journal|unused_data=A|last=Lee|first=Edward|coauthors=Alberto Sangiovanni-Vincentelli| title= A Framework for Comparing Models of Computation|journal=[[IEEE Transactions on CAD]]|volume=17|issue=12|pages=1217–1229|date=December, 1998|doi=10.1109/43.736561}}</ref> ενώ οι Nielsen, Sassone και Winskel έδειξαν ότι η [[θεωρία κατηγοριών]] μπορεί να χρησιμοποιηθεί για να παρέχει μια παρόμοια ενοποιημένη θεώρηση διαφορετικών μοντέλων.<ref>{{cite conference|author = Mogens Nielsen|coauthors= Vladimiro Sassone and Glynn Winskel| title = Relationships Between Models of Concurrency |booktitle = REX School/Symposium|year = 1993|url = http://citeseer.ist.psu.edu/article/nielsen94relationships.html}}</ref>

 

::<tt>'''Denote'''_S ≡ ⊔_i∈ω '''progression'''_Sⁱ(⊥_S)</tt>