Login / Signup
A true concurrency semantics for LOTOS.
Rosvelter João Coelho da Costa
Jean-Pierre Courtiat
Published in:
FORTE (1992)
Keyphrases
</>
database systems
artificial intelligence
neural network
concurrency control
conceptual graphs
formal semantics
genetic algorithm
semantic information
constraint propagation
argumentation frameworks
specification language
owl ontologies
logical language
argumentation semantics
concurrent execution