Giters

NMFCode / ATL2NMFS

Higher-order transformation from ATL to NMF Synchronizations

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

atl2nmfs

Is a higher-order transformation (HOT) that transforms an ATL transformation into a NMF Synchronizations synchronization.

About

Higher-order transformation from ATL to NMF Synchronizations

License:Apache License 2.0

Languages

Language:Xtend 56.4%Language:Java 37.3%Language:C# 3.6%Language:Assembly 2.7%