Sign in

Expansive-Bisimulation for Context-Free Processes.

Xinxin Liu
Published in: Formal Methods and Hybrid Real-Time Systems (2007)
Keyphrases