Home

K._Mani__Chandy


A Deterministic Notation for Cooperating Processes

Deterministic parallel Fortran

Distributed Snapshots: Determining Global States of Distributed Systems

Reasoning about program composition