Process Logic: Expressiveness, Decidability, Completeness

David Harel Dexter Kozen Rohit Parikh

Published in: FOCS (1980)

Keyphrases

computational properties
artificial intelligence
query processing
expressive power
data sets
databases
case study
software engineering