Toward a Uniform Theory of Effectful State Machines
Article in ACM Transactions on Computational Logic (March 2020)
The most recent citing publications are shown below. View all 48 publications that cite this research output on Dimensions.
Article in ACM Transactions on Computational Logic (March 2020)
Monograph (January 2017)
Article in Journal of Logical and Algebraic Methods in Programming (January 2015)