“…One of the possible approaches is to remove all architectural decisions from the specification language, in order to be able to concentrate on the algorithmic aspects. This approach has been taken in, for example, action systems or IO-automata [5,17,3,20,19]. A second approach is the use of knowledge-based or episternic logics and language constructs [11,12,21,10].…”