Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
Article in ACM Transactions on Programming Languages and Systems (March 2024)
The most recent citing publications are shown below. View all 136 publications that cite this research output on Dimensions.
Article in ACM Transactions on Programming Languages and Systems (March 2024)
Conference proceeding (March 2024)
Preprint in arXiv (January 2024)