Uri Abraham

Dive into the research topics where Uri Abraham is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Lives in https://www.google. com/maps/place/Bentleigh+East+VIC+3165, +Australia/@- 37.9226745,145.0708644,14.25z/data=!4m5!3m

Ben Gurion University - ‪‪Cited by 1749‬‬ - ‪mathematics‬ - ‪set theory‬ - ‪computer science‬

Uri ABRAHAM | Cited by 1063 | of Ben-Gurion University of the Negev, Beersheba (bgu) | Read 65 publications | Contact Uri ABRAHAM.

Owner, Pro2000 Systems · Experience: Pro2000 Systems · Education: Technion - Israel Institute of Technology · Location: Greater Melbourne Area · 42

It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively

A service of the NDSU Department of Mathematics, in association with the American Mathematical Society. Uri Abraham. MathSciNet. Ph.D. Hebrew University of

I am on sabbatical in the CMU math department. My research interests are in mathematical logic (set theory) and in computer science (on concurrency).