Deciding correctness with fairness for simple transducer networks (2014)

by T J Ameloot
Venue:In Proceedings of the 17th International Conference on Database Theory