Xiaojuan Cai

Available identifiers

zbMath Open cai.xiaojuanMaRDI QIDQ621582

List of research outcomes

Publication	Date of Publication	Type
Hardness results for coverability problem of well-structured pushdown systems	2017-06-01	Paper
https://portal.mardi4nfdi.de/entity/Q2990840	2016-08-10	Paper
Well-structured pushdown system: case of dense timed pushdown automata	2014-07-24	Paper
Nested timed automata	2013-08-16	Paper
Well-structured pushdown systems	2013-08-12	Paper
Modeling and analysis of real-time systems with mutex components	2013-01-18	Paper
The \(\lambda \)-calculus in the \(\pi \)-calculus	2011-10-21	Paper
A pure labeled transition semantics for the applied pi calculus	2011-01-28	Paper
Applying a testing approach to the calculus of fair ambients	2010-01-15	Paper
Analyzing an Electronic Cash Protocol Using Applied Pi Calculus	2009-03-10	Paper

Research outcomes over time

This page was built for person: Xiaojuan Cai