A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness.

Jérôme Leroux M. Praveen Grégoire Sutre

Published in: CONCUR (2013)

Keyphrases

contextual information
intelligent systems
distributed systems
expert systems
computer systems
context aware
building blocks
relational data
key technologies
databases
relational databases
intelligent user interfaces