TY - RPRT TI - Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics AU - Maciej Gazda AU - Wan Fokkink PY - 2010 DO - 10.4204/eptcs.32.2 UR - https://arxiv.org/abs/1008.2109 ID - 1008.2109 ER -