TY  - RPRT
TI  - A Sorted Semantic Framework for Applied Process Calculi
AU  - Johannes Borgström
AU  - Ramūnas Gutkovas
AU  - Joachim Parrow
AU  - Björn Victor
AU  - Johannes Åman Pohjola
PY  - 2016
DO  - 10.2168/lmcs-12(1:8)2016
UR  - https://arxiv.org/abs/1510.01044
ID  - 1510.01044
ER  -