Search results
Jump to navigation
Jump to search
- ...TOOLS 2017 : The Eighth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking |Field=distributed computation, programming languages, algebras, logics523 bytes (59 words) - 13:27, 17 February 2021
- ...TOOLS 2021, The Twelfth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking ...TOOLS 2021, The Twelfth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking7 KB (763 words) - 02:19, 26 February 2021
- ...TOOLS 2021, The Twelfth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking ...TOOLS 2021, The Twelfth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking7 KB (763 words) - 22:43, 25 February 2021
- iteration algebras, process algebras and dynamic algebras. Applications include formal algebraic modeling, - relation algebras and Kleene algebras7 KB (912 words) - 13:04, 17 February 2021
- * model theory, logics, algebras, computational complexity4 KB (557 words) - 13:48, 17 February 2021
- Modeling formalisms: DEVS, Petri Nets, process algebras, state charts, and others6 KB (809 words) - 13:13, 17 February 2021
- * Event algebras, event schemas and type systems6 KB (829 words) - 14:15, 17 February 2021
- - Event algebras, event schemas and type systems6 KB (826 words) - 14:15, 17 February 2021
- Pattern logics and algebras; Pattern recognition; Pattern matching; Pattern languages; Patterns languag8 KB (941 words) - 02:21, 9 April 2021
- * Concurrency and distribution: parallel programming, process algebras, concurrency theory, service-oriented computing, distributed and mobile lan6 KB (824 words) - 12:22, 17 February 2021
- * formalisms: process algebras, petri-nets, automaton theory and BDDs9 KB (1,181 words) - 12:21, 17 February 2021
- ...sis platforms; Diagnosis policy language; Diagnosis event formats; Process algebras for systems diagnosis; Probabilistic diagnosis of multiprocessor systems; S14 KB (1,651 words) - 13:39, 17 February 2021
- ...sis platforms; Diagnosis policy language; Diagnosis event formats; Process algebras for systems diagnosis; Probabilistic diagnosis of multiprocessor systems; S17 KB (2,031 words) - 22:42, 25 February 2021
- ...sis platforms; Diagnosis policy language; Diagnosis event formats; Process algebras for systems diagnosis; Probabilistic diagnosis of multiprocessor systems; S17 KB (2,031 words) - 02:18, 26 February 2021
- ...sis platforms; Diagnosis policy language; Diagnosis event formats; Process algebras for systems diagnosis; Probabilistic diagnosis of multiprocessor systems; S17 KB (2,088 words) - 14:05, 17 February 2021