Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency.

Frank S. de Boer Ulrich Hannemann Willem P. de Roever

Published in: FSTTCS (1997)

Keyphrases

distributed systems
theorem proving
information retrieval
image processing
case study
data structure
natural language
building blocks