Login / Signup

Armed Cats: Formal Concurrency Modelling at Arm.

Jade AlglaveWill DeaconRichard GrisenthwaiteAntoine HacquardLuc Maranget
Published in: ACM Trans. Program. Lang. Syst. (2021)
Keyphrases
  • database systems
  • concurrency control
  • formal model
  • formal methods
  • formal analysis
  • concurrent execution
  • database
  • information systems
  • data flow
  • transaction processing