Sign in

A declarative approach to distributed computing: Specification, execution and analysis.

Jiefei MaFranck LeDavid WoodAlessandra RussoJorge Lobo
Published in: Theory Pract. Log. Program. (2013)
Keyphrases