Uri Abraham's Models for Concurrency

Robert Constable and Sabina Petride

January 27, 2003