Termination and Boundedness for Well-Structured Pushdown Systems.

Suhua Lei Xiaojuan Cai Mizuhito Ogawa

Published in: TASE (2016)

Keyphrases

artificial intelligence
management system
distributed systems
expert systems
sufficient conditions
systems require
databases
relational databases
computer systems
embedded systems