7 citations · 7 across the 1 of their papers we have counts for
1 paper
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…