Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Varela, Carlos A. Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 4 of 4 reviews    
  Programming distributed computing systems: a foundational approach
Varela C., The MIT Press, Cambridge, MA, 2013. 314 pp.  Type: Book (978-0-262018-98-2), Reviews: (2 of 2)

The fields of parallel and distributed computing have attracted a lot of attention for a few decades now, in both theoretical and practical aspects. Programming languages have been a burning issue in this area. Many theoretical models ...
...
Jan 28 2014  
  Programming distributed computing systems: a foundational approach
Varela C., The MIT Press, Cambridge, MA, 2013. 314 pp.  Type: Book (978-0-262018-98-2), Reviews: (1 of 2)

This book has two goals. The first is to teach the reader the fundamental theories of concurrent computation, and the second is to teach programming languages that can be used to develop correct distributed computing systems. The book ...
...
Nov 14 2013  
  Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments
Field J., Varela C.  Principles of programming languages (Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Long Beach, California, USA, Jan 12-14, 2005) 195-208, 2005.  Type: Proceedings, Reviews: (2 of 2)

This paper is motivated by the fact that the state of a distributed system is determined by the state of each of its components, which can be interdependent. Ensuring that such a distributed state is consistent is very difficult. The p...
...
Mar 11 2005  
   Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments
Field J., Varela C.  Principles of programming languages (Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Long Beach, California, USA, Jan 12-14, 2005) 195-208, 2005.  Type: Proceedings, Reviews: (1 of 2)

For a transaction to be truly distributed, coordination between the component processes should not require the services of a single coordinating component. Rather, the coordination should be achieved locally by each component. This pap...
...
Feb 25 2005  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy