On Propositional Dynamic Logic and Concurrency.
Matteo AcclavioFabrizio MontesiMarco PeressottiPublished in: CoRR (2024)
Keyphrases
- propositional dynamic logic
- dynamic logic
- reasoning about actions
- concurrency control
- database systems
- data flow
- databases
- nested transactions
- object oriented
- timing constraints
- social networks
- search algorithm
- neural network
- database
- concurrency control protocols
- data sets
- object oriented languages
- concurrent execution
- dynamic allocation
- real time