EntityQ1970286· pop 11· linked from 116 articlesprocess calculusSign in to savediverse family of related approaches for formally modelling concurrent systemsConnectionsTony HoareEntityChurch–Turing thesisEntityconcurrencyEntitycommunicating sequential processesEntityπ-calculusEntityCalculus of communicating systemsEntityLanguage Of Temporal Ordering SpecificationEntitycomputer scienceEntityalgebraEntityInternational Standard Book NumberEntitydigital object identifierEntityPDFEntityTuring machineEntityrecursionEntityUniversity of HamburgEntityformal languageEntitylambda calculusEntityuniversal algebraEntitytype systemEntityhalting problemEntityCategoriesProcess calculi