Project Tags: Distributed Computing

Effective Parallel and Distributed Programming via Join Pattern with Guards, Propagation and More

Recent advances in distributed systems and multicore architectures, and the emerging interest in Cloud Computing has unleashed significant pressures upon the programming language community to research and develop better general…

Formal Reasoning about Languages for Distributed Computation

Foundational research in programming language semantics has given us the ability to design languages for sequential programming with strong theoretical properties, which translate into run-time assurance for programs written in…