Ignoring Nonessential Interleavings in Assertional Reasoning on Concurrent Programs.

Pawel Paczkowski

Published in: MFCS (1993)

Keyphrases

concurrent programs
expressive description logics
probabilistic knowledge
knowledge base
reasoning systems
concurrent programming
knowledge representation
knowledge based systems
high level
wireless sensor networks
web applications