Does the bold part mean that the composition system realize actions that have the same name but belong to different components?
The composition operation allows an automaton representing a complex system to be constructed by composing automata representing individual system components. The composition identifies actions with the same name in different component automata.
Lynch's Distributed Algorithms
It appears that you have an answer on another forum. 3822707/
New words, one handy idiom, and a 2-minute quiz — delivered to your inbox to keep your streak alive.
It appears that you have an answer on another forum.