On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes.
Ralph-Johan BackHeikki MannilaPublished in: Theor. Comput. Sci. (1985)
Keyphrases
- communication channels
- dynamic aspects
- formal semantics
- theorem prover
- derivation rules
- database systems
- semantic information
- decision procedures
- databases
- knowledge base
- web services
- software engineering
- database
- search engine
- learning algorithm
- stochastic processes
- specification language
- natural deduction
- neural network
- proof theory