...TOOLS 2017 : The Eighth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
|Field=distributed computation, programming languages, algebras, logics
...
523 bytes (59 words) - 11:49, 25 September 2016
iteration algebras, process algebras and dynamic algebras. Applications include formal algebraic modeling,
- relation algebras and Kleene algebras
...
7 KB (912 words) - 15:08, 27 February 2009
...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 Benchmarking
...
7 KB (764 words) - 16:56, 8 December 2020
...abstract machines, domain-theoretic models, game-theoretic models, process algebras, graph transformation systems, Petri nets, hybrid systems, mobile and colla
...
2 KB (262 words) - 14:45, 8 April 2021
* model theory, logics, algebras, computational complexity
...
4 KB (557 words) - 08:14, 15 May 2019
Modeling formalisms: DEVS, Petri Nets, process algebras, state charts, and others
...
6 KB (809 words) - 14:26, 28 September 2011
* Concurrency and distribution: parallel programming, process algebras, concurrency theory, service-oriented computing, distributed and mobile lan
...
6 KB (824 words) - 21:32, 14 October 2008
* Event algebras, event schemas and type systems
...
6 KB (829 words) - 13:30, 29 January 2021
- Event algebras, event schemas and type systems
...
6 KB (826 words) - 13:44, 29 January 2021
Pattern logics and algebras; Pattern recognition; Pattern matching; Pattern languages; Patterns languag
...
8 KB (942 words) - 16:55, 8 December 2020
* formalisms: process algebras, petri-nets, automaton theory and BDDs
...
9 KB (1,181 words) - 22:37, 14 October 2008
...sis platforms; Diagnosis policy language; Diagnosis event formats; Process algebras for systems diagnosis; Probabilistic diagnosis of multiprocessor systems; S
...
14 KB (1,651 words) - 13:56, 15 February 2017
...sis platforms; Diagnosis policy language; Diagnosis event formats; Process algebras for systems diagnosis; Probabilistic diagnosis of multiprocessor systems; S
...
17 KB (2,035 words) - 12:45, 18 February 2021
...sis platforms; Diagnosis policy language; Diagnosis event formats; Process algebras for systems diagnosis; Probabilistic diagnosis of multiprocessor systems; S
...
17 KB (2,088 words) - 10:49, 14 June 2020