Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03736055n
Noun Concept
Categories: Process calculi, long volume value, Articles with short description
EN
process calculus  Hybrid Process Algebra  Basic Process Algebra  process algebra  process algebras
EN
In computer science, the process calculi are a diverse family of related approaches for formally modelling concurrent systems. Wikipedia
Definitions
Relations
Sources
EN
In computer science, the process calculi are a diverse family of related approaches for formally modelling concurrent systems. Wikipedia
A set of approaches to formulating formal models of concurrent systems Wikipedia Disambiguation
IS A
technology
mathematical model
universal algebra
HAS KIND
ambient calculus
Calculus of Communicating Systems
π-calculus
join-calculus
HAS INSTANCE
MCRL2
PEPA
Calculus of Communicating Systems
π-calculus
join-calculus
+1 relations
USE
concurrent computing
Wikipedia
EN
process calculus
Wikidata
EN
process calculus
Wikipedia Redirections
EN
Basic Process Algebra, Hybrid Process Algebra, Hybrid process algebra, process algebra, process algebras, process calculi, Sequential composition
Wikidata Alias
EN
process algebras

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License