Login / Signup

Proof of Stake Blockchain: Performance and Scalability for Groupware Communications.

Jason SpasovskiPeter W. Eklund
Published in: MEDES (2017)
Keyphrases
  • theorem proving
  • neural network
  • activity theory
  • high scalability
  • case study
  • data structure
  • theorem prover
  • communication systems
  • highly scalable
  • group communication
  • linear logic
  • geometry theorem proving