The following publications are possibly variants of this publication:
- Towards Building Verifiable CPS using Lingua FrancaShaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia. tecs, 22(5s), October 2023. [doi]
- Toward a Lingua Franca for Deterministic Concurrent SystemsMarten Lohstroh, Christian Menard, Soroush Bateni, Edward A. Lee. tecs, 20(4), 2021. [doi]
- Polyglot Modal Models through Lingua FrancaAlexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee. date 2023: 1-2 [doi]
- Polyglot Modal Models through Lingua FrancaAlexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Edward A. Lee, Soroush Bateni. cpsweek 2023: 337-342 [doi]
- High-performance Deterministic Concurrency Using Lingua FrancaChristian Menard, Marten Lohstroh, Soroush Bateni, Matthew Chorlian, Arthur Deng, Peter Donovan, Clément Fournier, Shaokai Lin, Felix Suchert, Tassilo Tanneberger, Hokeun Kim, Jerónimo Castrillón, Edward A. Lee. taco, 20(4), December 2023. [doi]