TY - RPRT TI - Concurrent Game Structures with Roles AU - Truls Pedersen AU - Sjur Dyrkolbotn AU - Piotr Kaźmierczak AU - Erik Parmann PY - 2013 DO - 10.4204/eptcs.112.11 UR - https://arxiv.org/abs/1303.0792 ID - 1303.0792 ER -