Sequence Diagram โ Channel Mobility
This sequence diagram illustrates how a channel is offered and dynamically used in a Pi Calculus-inspired MQTT system:
This diagram models the expression: ฮฝ b ( aโจbโฉ | a(x).xโจ"hello"โฉ )
It demonstrates dynamic topic subscription and structured messaging behavior.