This paper provides a comprehensive literature review on the comparison of process calculi, specifically focusing on the encodings. It explores systematic methods for evaluating e pressive power through encodings or proofs of their absence. The survey includes commonly used encodability criteria, general frameworks for assessing encoding quality, and methods for comparing these criteria. The insights gained from this review contribute to a better understanding of the concepts of encodings.
No takes yet. Share an insight, caveat, or question.
Jovana Dedeić (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: