Composing Interfering Abstract Protocols.

Filipe Militão Jonathan Aldrich Luís Caires

Published in: ECOOP (2016)

Keyphrases

state machines
neural network
genetic algorithm
high level
higher level
multi party
communication protocols
database
databases
artificial intelligence
information systems
image processing
image segmentation
low level