This repository contains the specifications ^ of the Collaborative State Machines Language (CSML). These specifications are implemented in Cirrina.
Collaborative State Machines and the Cirrina runtime are created and developed by the Distributed and Parallel Systems Group of the Universität Innsbruck.
If you use Cirrina in your research, please cite it using the following reference format: