1. On system executions and states;Abraham;J. Appl. Intell.,1993
2. What is a state of a system? (an outline);Abraham,1993
3. U. Abraham, Bakery algorithms, in L. Czaja (Ed.), Proc. CS&P’93 Workshop. Warszawa, 1994, pp. 7–40.
4. On interprocess communication and the implementation of multi-writer atomic registers;Abraham;Theoret. Comput. Sci.,1995
5. Models for Concurrency;Abraham,1999