Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or.

Simon Castellan Pierre Clairambault Glynn Winskel

Published in: FSCD (2017)

Keyphrases

high level
neural network
higher order
parallel processing
online auctions
shared memory
parallel implementation
database
machine learning
genetic algorithm
artificial intelligence
mutual exclusion
decision theoretic planning