GitHub repository: modelica-3rdparty/RealTimeCoordinationLibrary
Primary language: Modelica
Description: Enables modeling asynchronous and synchronous communication and rich real-time constraints for complex coordination protocols.