Pi Calculus-Inspired MQTT System (.NET Console Template)
This project simulates core concepts from the Pi Calculus—such as dynamic process communication, channel mobility, and message-driven behavior—using MQTT in a .NET 8 console application.
📦 Project Structure
Program.cs– Entry point and orchestrationMqttRuntime.cs– MQTT client setup, publish/subscribe logicMqttPiProcess.cs– Represents a reactive MQTT processPiMessage.cs– JSON message structure with metadata*.csproj– Project file with MQTTnet dependency
🧰 Prerequisites
- .NET 8 SDK
- MQTT broker (e.g., Mosquitto running locally or remotely)
- MQTTnet library is included via NuGet
🚀 How to Use
dotnet new -i ./PiCalculusMqttTemplate
dotnet new pi-mqtt -n MyPiApp
cd MyPiApp
dotnet run💬 Message Format
{
"type": "channel_offer" | "message",
"channel": "channel/topic/name",
"payload": "...",
"meta": {
"correlationId": "guid",
"timestamp": "ISO 8601"
}
}