• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Making Concurrency Functional.

Glynn Winskel
Published in: LICS (2023)
Keyphrases
  • real world
  • relational databases
  • neural network
  • functional analysis
  • real time
  • decision trees
  • high level
  • bayesian networks
  • data structure
  • hidden markov models
  • management system
  • concurrency control