/TCOS.lang

a metalanguage for Timed and Concurrent Operation Semantics

Primary LanguageTypeScriptMIT LicenseMIT

Stargazers