TY  - RPRT
TI  - Formal Component-Based Semantics
AU  - Ken Madlener
AU  - Sjaak Smetsers
AU  - Marko van Eekelen
PY  - 2011
DO  - 10.4204/eptcs.62.2
UR  - https://arxiv.org/abs/1108.3125
ID  - 1108.3125
ER  -