contractautomataproject/CARE
A runtime environment for implementing applications specified via Contract Automata
JavaGPL-3.0
Issues
- 0
- 0
implements choreography support
#1 opened by davidebasile
A runtime environment for implementing applications specified via Contract Automata
JavaGPL-3.0