TY  - RPRT
TI  - Algebraic Meta-Theory of Processes with Data
AU  - Daniel Gebler
AU  - Eugen-Ioan Goriac
AU  - Mohammad Reza Mousavi
PY  - 2013
DO  - 10.4204/eptcs.120.6
UR  - https://arxiv.org/abs/1307.7444
ID  - 1307.7444
ER  -