TY  - RPRT
TI  - A Local Logic for Realizability in Web Service Choreographies
AU  - R. Ramanujam
AU  - S. Sheerazuddin
PY  - 2014
DO  - 10.4204/eptcs.163.3
UR  - https://arxiv.org/abs/1409.2591
ID  - 1409.2591
ER  -