这份 PDF 摘自 Carlos Varela 教授的书《Programming Distributed Computing Systems: A Foundational Approach》。他在 RPI 时是我的导师，也是我在那段求学时光里打交道感觉最愉快的教授之一。他的课是出了名的…
This PDF is an exerpt from the book Programming Distributed Computing Systems: A Foundational Approach by Professor Carlos Varela. He was my advisor at RPI, and one of the most pleasant professors I had the pleasure of interacting with during my time there. His classes were notoriously…
…the cheaper ones. Then I started finding individual topics that interested me, which largely dealt with distributed computing, weird abstract math, and video processing. For that, I bought the book "Programming Distributed Computing Systems" by Varela, "Certified Programming with Dependent Types" by Chlipala, and random books on Fourier Transforms from eBay. This is over the course of a few years, and it was intermixed with about a million…
Programming Distributed Computing Systems A Foundational Approach Carlos A. Varela 2013 https://mitpress.mit.edu/9780262018982/programming-distribut...
Programming Distributed Computing Systems A Foundational Approach Carlos A. Varela 2013 https://mitpress.mit.edu/9780262018982/programming-distribut...
…compared in terms of some metrics (some measurement, quantities, ...) in aspects either mentioned above or not. (Butcher's book doesn't mention such metrics. I also tried but haven't found it in Varela's Programming Distributed Computing Systems.) If concurrency models can not be compared in metrics, how can they be compared? I am looking for some metrics to fit into the comparison between the concurrency models. Also for books, papers and…
这份 PDF 摘自 Carlos Varela 教授的书《Programming Distributed Computing Systems: A Foundational Approach》。他在 RPI 时是我的导师，也是我在那段求学时光里打交道感觉最愉快的教授之一。他的课是出了名的…
This PDF is an exerpt from the book Programming Distributed Computing Systems: A Foundational Approach by Professor Carlos Varela. He was my advisor at RPI, and one of the most pleasant professors I had the pleasure of interacting with during my time there. His classes were notoriously…
…比较便宜的那些。后来我开始找自己感兴趣的独立课题，大部分跟 distributed computing、奇奇怪怪的抽象数学和视频处理相关。为此，我买了 Varela 的《Programming Distributed Computing Systems》、Chlipala 的《Certified Programming with Dependent Types》，还在 eBay 上随便淘了几本讲 Fourier Transforms 的书。这前前后后折腾了好几年，期间还穿插了大概一百万篇…
…the cheaper ones. Then I started finding individual topics that interested me, which largely dealt with distributed computing, weird abstract math, and video processing. For that, I bought the book "Programming Distributed Computing Systems" by Varela, "Certified Programming with Dependent Types" by Chlipala, and random books on Fourier Transforms from eBay. This is over the course of a few years, and it was intermixed with about a million…
Programming Distributed Computing Systems A Foundational Approach Carlos A. Varela 2013 https://mitpress.mit.edu/9780262018982/programming-distribut...
Programming Distributed Computing Systems A Foundational Approach Carlos A. Varela 2013 https://mitpress.mit.edu/9780262018982/programming-distribut...
…根据某些指标（某种度量、数量……）在上面提到或没提到的方面进行对比。（Butcher 的书里没提这种指标。我也找过，但在 Varela 的《Programming Distributed Computing Systems》里同样没找到。）如果 concurrency models 不能用量化指标来比较，那该怎么对比呢？我正在找一些能套进 concurrency models 之间横向对比的指标。也欢迎推荐相关的书、论文和…
…compared in terms of some metrics (some measurement, quantities, ...) in aspects either mentioned above or not. (Butcher's book doesn't mention such metrics. I also tried but haven't found it in Varela's Programming Distributed Computing Systems.) If concurrency models can not be compared in metrics, how can they be compared? I am looking for some metrics to fit into the comparison between the concurrency models. Also for books, papers and…