DCR Syntax and Execution Equivalent Markings.

Axel Kjeld Fjelrad Christfort Søren Debois

Published in: Arch. Formal Proofs (2023)

Keyphrases

natural language
real world
knowledge base
plan execution
operational semantics
execution environment
scientific documents
database
data mining
machine learning
artificial intelligence
high level
digital libraries
natural language processing
concurrent execution