Inproceedings,

Synthesis of Concurrent Systems for an Atomic Read / Atomic Write Model of Computation (Extended Abstract).

, and .
PODC, page 111-120. ACM, (1996)

Meta data

Tags

Users

  • @dblp

Comments and Reviews