everything-you-always-wanted-to-know-about-synchronization-but-were-afraid-to-ask
time-clocks-and-the-ordering-of-event-in-a-distributed-system
heap-architectures-for-concurrent-languages-using-message-passing
message-analysis-for-concurrent-languages
