search

ftsrg / gamma

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
http://gamma.inf.mit.bme.hu
30 stars 25 forks source link

TXSTS #166

Closed Rorck closed 7 months ago

Rorck commented 7 months ago

Added TXSTS transformation

Rorck commented 7 months ago

Solved with a simpler solution, see commit.