Practical Implementation in C# (.NET 8)

This implementation uses MQTT and C# to model Pi Calculus features:

MQTTRuntime: Manages publish/subscribe communication
PiMessage: JSON-formatted message including metadata
MqttPiProcess: Represents a process subscribing to a topic

Channel Offer Example

{
  "type": "channel_offer",
  "channel": "channel/dynamic/123",
  "payload": null,
  "meta": {
    "correlationId": "guid",
    "timestamp": "2025-06-05T12:00:00Z"
  }
}

This message allows a subscriber to dynamically subscribe to channel/dynamic/123.