Search results

...TOOLS 2017 : The Eighth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking |Field=distributed computation, programming languages, algebras, logics

...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

iteration algebras, process algebras and dynamic algebras. Applications include formal algebraic modeling, - relation algebras and Kleene algebras

* model theory, logics, algebras, computational complexity

* Event algebras, event schemas and type systems

- Event algebras, event schemas and type systems

Modeling formalisms: DEVS, Petri Nets, process algebras, state charts, and others

Pattern logics and algebras; Pattern recognition; Pattern matching; Pattern languages; Patterns languag

* Concurrency and distribution: parallel programming, process algebras, concurrency theory, service-oriented computing, distributed and mobile lan

* formalisms: process algebras, petri-nets, automaton theory and BDDs

...sis platforms; Diagnosis policy language; Diagnosis event formats; Process algebras for systems diagnosis; Probabilistic diagnosis of multiprocessor systems; S

...sis platforms; Diagnosis policy language; Diagnosis event formats; Process algebras for systems diagnosis; Probabilistic diagnosis of multiprocessor systems; S

...sis platforms; Diagnosis policy language; Diagnosis event formats; Process algebras for systems diagnosis; Probabilistic diagnosis of multiprocessor systems; S