An experimental concurrent, hierarchical, event-based state machine programming language intended for implementing distributed management systems and modeling complex protocols.
Primary LanguageTeXApache License 2.0Apache-2.0