Rebeca2LF: Synthesis of Timed Rebeca Models Using Lingua Franca
Problem Description
Case Studies
- Master Thesis: Formal Mapping of Timed Rebeca Models to Lingua
Franca with Preservation of Behavioral Determinism [pdf] .
Project Members
- Ali Sarmadi
- Hossein Hojjat
- Marjan Sirjani