Propositional Dynamic Logic with Storing, Recovering and Parallel Composition.

Mario R. F. Benevides Renata P. de Freitas Jorge Petrucio Viana

Published in: LSFA (2010)

Keyphrases

propositional dynamic logic
data structure
parallel processing
parallel programming
parallel implementation
dynamic logic
machine learning
social networks
massively parallel
database systems
image sequences
general purpose
shared memory