Search results

Create the page "Algebras" on this wiki! See also the search results found.

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