CommUnity, Tiles and Connectors joint work with Roberto Bruni José Luiz Fiadeiro Antónia Lopes Ugo Montanari Ivan Lanese Dipartimento di Informatica Università.
Grade 8 INTRA - Human Alimentary Canal
Lecture 2: Reasoning with Distributed Programs Anish Arora CSE 6333.
Defining Programs, Specifications, fault-tolerance, etc.