TY - RPRT TI - Integrated Structure and Semantics for Reo Connectors and Petri Nets AU - Christian Krause PY - 2009 DO - 10.4204/eptcs.12.4 UR - https://arxiv.org/abs/0911.5447 ID - 0911.5447 ER -