Worldwide Computing Lab
Home
Code Examples
Slides
Courses
Errata
PROGRAMMING DISTRIBUTED COMPUTING SYSTEMS
A Foundational Approach
Carlos A. Varela,
Programming Distributed Computing Systems -- A Foundational Approach
, MIT Press, Cambridge, MA:May 2013 (Available from
Amazon
and
MIT Press
).
Pict
SALSA
JoCaml
Examples used in Chapter 11 of the book are available here.
Pict
The Pict Programming Language
Social networking example:
agent.pi
,
event.pi
,
socnet.pi
,
types.pi
.
SALSA
The SALSA Programming Language
Social networking example:
Agent.salsa
,
Event.salsa
,
SocialNetwork.salsa
.
JoCaml
The JoCaml System
Social networking example:
agent.ml
.