Achieving Greater Concurrency in Execution of Smart Contracts using Object Semantics.
Parwat Singh AnjanaSweta KumariSathya PeriArchit SomaniPublished in: CoRR (2019)
Keyphrases
- concurrent execution
- d objects
- formal semantics
- active rules
- data flow
- object model
- concurrency control
- method invocation
- object tracking
- moving objects
- object segmentation
- smart environments
- logic programming
- control flow
- database systems
- spatial relations
- data objects
- object models
- execution model
- timing constraints
- three dimensional