Author:
Abraham Uri,Magidor Menachem
Subject
General Computer Science,Theoretical Computer Science
Reference12 articles.
1. On system executions and states;Abraham;J. Appl. Intelligence,1993
2. On global-time and interprocess communication;Abraham;BCS-FACS Workshop on Semantics for Concurrency,1990
3. The global-time assumption and semantics for distributive systems;Ben David;Proc. 7th Ann. ACM Symp. on Principles of Distributed Computing,1988
4. Data requirements for implementation of N-process mutual exclusion using a single shared variable;Burns;J. ACM,1982
5. Co-operating sequential processes;Dijkstra,1965