On Reachability in Parameterized Phaser Programs.

Zeinab Ganjei Ahmed Rezine Ludovic Henrio Petru Eles Zebo Peng

Published in: CoRR (2018)

Keyphrases

early stage
computer programs
database
artificial intelligence
transitive closure
neural network
information systems
website
three dimensional
expert systems
logic programs
control structures
prolog programs