Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach.
Frank S. de BoerUlrich HannemannWillem P. de RoeverPublished in: World Congress on Formal Methods (1999)
Keyphrases
- database systems
- natural language
- semantic information
- high level
- semantic level
- semantic knowledge
- semantic analysis
- bayesian networks
- semantic mapping
- formal language
- semantic annotation
- semantic similarity
- semantic relationships
- domain ontology
- machine processable
- formal model
- database
- semi automatic
- software systems
- domain knowledge
- neural network