Formalizing Concurrency, Distribution, and Mobilitymichaelrbernste.in71 points·mrbbk··4 commentsOpen articleSaveView on HN