Models For Concurrency door Uri Abraham & Abraham Abraham