TY  - RPRT
TI  - Axiomatizing GSOS with Predicates
AU  - Luca Aceto
AU  - Georgiana Caltais
AU  - Eugen-Ioan Goriac
AU  - Anna Ingolfsdottir
PY  - 2011
DO  - 10.4204/eptcs.62.1
UR  - https://arxiv.org/abs/1108.3124
ID  - 1108.3124
ER  -