11 citations · 44 across the 24 of their papers we have counts for
1 paper · 1 filter
Wojciech Jamroga, Artur Mȩski, Maciej Szreter
We revisit the formalism of modular interpreted systems (MIS) which encourages modular and open modeling of synchronous multi-agent systems. The original formulation of MIS did not…