X
Xiaojuan Cai
Researcher at Shanghai Jiao Tong University
Publications - 16
Citations - 99
Xiaojuan Cai is an academic researcher from Shanghai Jiao Tong University. The author has contributed to research in topics: Pushdown automaton & Embedded pushdown automaton. The author has an hindex of 5, co-authored 16 publications receiving 96 citations.
Papers
More filters
Book ChapterDOI
Well-Structured pushdown systems
Xiaojuan Cai,Mizuhito Ogawa +1 more
TL;DR: This paper shows that the coverability is decidable for recursive vector addition system with states, multi-set pushdown systems, and a WSPDS with finite control states and well-quasi-ordered stack alphabet.
Proceedings ArticleDOI
Towards Automatic Measurement of Probabilistic Processes
Lin Song,Yuxin Deng,Xiaojuan Cai +2 more
TL;DR: The kernel of the metric corresponds to trace equivalence and most of the operators in the process algebra is shown to satisfy non-expansiveness property with respect to this metric.
Book ChapterDOI
Analyzing an Electronic Cash Protocol Using Applied Pi Calculus
TL;DR: This paper proposes to use the applied pi calculus as a framework for describing and analyzing electronic cash protocols, and analyzes Ferguson's electronic cash protocol as a case study.
Book ChapterDOI
Nested timed automata
TL;DR: In this paper, the authors propose a new timed model named nested timed automata (NeTAs), which is a pushdown system whose stack symbols are timed Automata (TAs).
Book ChapterDOI
Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata
Xiaojuan Cai,Mizuhito Ogawa +1 more
TL;DR: Abdulla et al. as mentioned in this paper investigated a general pushdown system with well-quasi-ordered states and stack alphabet to show decidability of reachability, which is an extension of their earlier work (Well-structured pushdown systems, CONCUR 2013).