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