🌐EnglishEnglishDeutschEspañolFrançais中文EntityQ1805432· pop 5· linked from 485 articlesLanguage Of Temporal Ordering SpecificationFormal specification language in computer scienceAvailable in 5 languagesEspañolFrançaisDeutschYorubavia Wikidata sitelinks · CC0ConnectionsISO 0070EntityISO 31EntityCategoriesConcurrency (computer science)Concurrency controlFormal methodsFormal specification languagesProcess calculiSynchronizationTheoretical computer science