On the Power of Bounded Concurrency~III: Reasoning About Programs (Preliminary Report)

David Harel Roni Rosner Moshe Y. Vardi

Published in: LICS (1990)

Keyphrases

object oriented languages
high level programming languages
power consumption
database systems
formal theory
concurrency control
spatial reasoning
provably correct
concurrent programming
multi agent
software engineering
answer sets
data flow
computer programs
qualitative reasoning