An Algebraic Semantics for an Abstract Language with Intra-Object-Concurrency.
Thomas GehrkePublished in: Euro-Par (1998)
Keyphrases
- concurrency control
- database systems
- logical language
- object identity
- specification language
- operational semantics
- highly expressive
- logic programming language
- programming language
- intended meaning
- d objects
- complex objects
- propositional dynamic logic
- action language
- formal language
- data objects
- natural language
- denotational semantics
- object model
- data model
- logic programming
- formal semantics
- moving objects
- conditional logic
- disjunctive logic programming
- definition language
- dynamic logic
- modeling language
- uml class diagrams
- language learning
- spatial relations
- conceptual graphs
- situation calculus
- proof theory
- formal languages
- low level
- semantically equivalent
- database query languages
- multiple objects
- concurrent programming