Search results

• COMPUTATION TOOLS 2017
  ...TOOLS 2017 : The Eighth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking |Field=distributed computation, programming languages, algebras, logics
  578 bytes (64 words) - 19:16, 1 April 2022
• 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 (767 words) - 11:53, 6 April 2022
• RelMiCS-AKA 2009
  iteration algebras, process algebras and dynamic algebras. Applications include formal algebraic modeling, - relation algebras and Kleene algebras
  7 KB (915 words) - 20:59, 1 April 2022
• FOSSACS 2006
  *Process algebras and calculi
  1 KB (152 words) - 20:24, 1 April 2022
• FOSSACS 2002
  *Models of concurrency, and corresponding calculi, algebras, and logics.
  1 KB (156 words) - 20:24, 1 April 2022
• FUTURE COMPUTING 2020
  ...TOOLS 2020, The Eleventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
  1 KB (166 words) - 14:50, 4 April 2022
• FUTURE COMPUTING 2022
  ...OLS 2022, The Thirteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
  2 KB (169 words) - 15:09, 4 April 2022
• ESOP 2013
  *Concurrency and distribution: process algebras, concurrency theory, parallel programming, service-oriented computing, dist
  2 KB (179 words) - 20:23, 1 April 2022
• FOSSACS 2011
  *Process algebras and calculi,
  2 KB (210 words) - 20:24, 1 April 2022
• CONCUR 2021
  ...abstract machines, domain-theoretic models, game-theoretic models, process algebras, graph transformation systems, Petri nets, hybrid systems, mobile and colla
  2 KB (269 words) - 20:14, 1 April 2022
• FOSSACS 2008
  *Process algebras and calculi,
  3 KB (360 words) - 20:24, 1 April 2022
• ESOP 2011
  *Concurrency and distribution: parallel programming, process algebras, concurrency theory, service-oriented computing, distributed and mobile lan
  3 KB (370 words) - 20:23, 1 April 2022
• ESOP 2009
  *Concurrency and distribution: parallel programming, process algebras, concurrency theory, service-oriented computing, distributed and mobile lan
  3 KB (356 words) - 20:23, 1 April 2022
• ESOP 2012
  *Concurrency and distribution: parallel programming, process algebras, concurrency theory, service-oriented computing, distributed and mobile lan
  3 KB (382 words) - 20:23, 1 April 2022
• ESOP 2010
  *Concurrency and distribution: process algebras, concurrency theory, parallel programming, service-oriented computing, dist
  3 KB (382 words) - 20:23, 1 April 2022
• ESOP 2014
  *Concurrency and distribution: process algebras, concurrency theory, parallel programming, service-oriented computing, dist
  4 KB (461 words) - 20:23, 1 April 2022
• ESOP 2019
  *Concurrency and distribution: process algebras, concurrency theory, parallel programming, service-oriented computing, dist
  4 KB (515 words) - 20:24, 1 April 2022
• ICDT 2017
  * model theory, logics, algebras, computational complexity
  4 KB (562 words) - 19:39, 1 April 2022
• ESOP 2018
  *Concurrency and distribution: process algebras, concurrency theory, parallel programming, service-oriented computing, dist
  4 KB (505 words) - 20:23, 1 April 2022
• FOSSACS 2013
  *Process algebras and calculi;
  4 KB (567 words) - 20:24, 1 April 2022

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)