TY  - RPRT
TI  - A process algebra based framework for promise theory
AU  - Jan Bergstra
AU  - Inge Bethke
AU  - Mark Burgess
PY  - 2007
UR  - https://arxiv.org/abs/0707.0744
ID  - 0707.0744
ER  -