Weakest Precondition Semantics for Time and Concurrency.
David ScholefieldHussein S. M. ZedanPublished in: Inf. Process. Lett. (1992)
Keyphrases
- formal semantics
- database systems
- semantic information
- concurrency control
- database
- logical language
- conceptual graphs
- information retrieval
- concurrent programming
- specification language
- logic programming
- data flow
- software systems
- logical framework
- data structure
- argumentation semantics
- dynamic allocation
- artificial intelligence