<--- Back to Details
First PageDocument Content
Cryptocurrencies / Ethereum / Blockchains / Concurrent computing / Distributed computing / Computing / Kin / Smart contract / Joseph Lubin / Draft:Enjin / UnikoinGold
Date: 2018-03-15 22:00:58
Cryptocurrencies
Ethereum
Blockchains
Concurrent computing
Distributed computing
Computing
Kin
Smart contract
Joseph Lubin
Draft:Enjin
UnikoinGold

WHITE PAPER Supercar Smart Contracts www.cryptocars.cc Facebook: FB.com/cryptocarscc Twitter: @cryptocarscc

Add to Reading List

Source URL: cryptocars.cc

Download Document from Source Website

File Size: 1,17 MB

Share Document on Facebook

Similar Documents

Lie algebras / Lie groups / Circuit complexity / NC / Constructible universe / Homogeneous spaces / Mathematics / Hopf decomposition

Under consideration for publication in Formal Aspects of Computing Maximally Concurrent Programs 1

DocID: 1xUtw - View Document

Mathematical analysis / Temporal logic / Mathematics / Computation tree logic / Logic in computer science / Determinacy / Distribution / Linear temporal logic / Universal representation

Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK

DocID: 1xTlL - View Document

Fully Concurrent Garbage Collection of Actors on Many-Core Machines Sylvan Clebsch and Sophia Drossopoulou Department of Computing, Imperial College, London {sc5511, scd}@doc.ic.ac.uk

DocID: 1tNeJ - View Document

Chivalry / Military personnel / Actor model / Concurrent computing / Dwight D. Eisenhower

BritishLanthorn: Ubiquitous Homogeneous Cooperative Symmetries Ike Antkare International Institute of Technology United Slates of Earth

DocID: 1ru6U - View Document

Software engineering / Computing / Computer programming / Functional languages / Concurrent programming languages / Programming languages / Procedural programming languages / Cross-platform software / Clojure / Multiple dispatch / Type system / Dynamic programming language

Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies*, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia* {abonnair,samth}@indiana.edu, Rowan.Davies@cba.

DocID: 1ru0R - View Document