Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization.

Philippe Balbiani Joseph Boudou

Published in: J. Log. Comput. (2018)

Keyphrases

complete axiomatization
data structure
parallel processing
shared memory
databases
metadata
high level
parallel computing
computer architecture