 | 2012 |
|---|
| 8 |       | Jianxin Xue,
Xiaoju Dong:
A Fully Abstract View for Local Cause Semantics.
GPC 2012: 198-209 |
| 2007 |
|---|
| 7 | | Xian Xu,
Xiaoju Dong,
Yuxi Fu:
A Model in kappa for DNA Addition.
Electr. Notes Theor. Comput. Sci. 171(2): 209-222 (2007) |
| 6 | | Xiaoju Dong,
Yuxi Fu:
Barbed Congruence of Asymmetry and Mismatch.
J. Comput. Sci. Technol. 22(4): 575-579 (2007) |
| 2006 |
|---|
| 5 | | Farong Zhong,
Yuxi Fu,
Xiaoju Dong:
Bisimulation Congruence for Asymmetric chi ^ e -Calculus.
ISPDC 2006: 173-184 |
| 2005 |
|---|
| 4 | | Yonggen Gu,
Yuxi Fu,
Yang Li,
Xiaoju Dong:
A Generic Model for Symbolic Analyzing Security Protocols.
CIT 2005: 680-684 |
| 3 | | Zhupeng Dong,
Xiaoju Dong,
Xian Xu,
Yuxi Fu,
Zhizhou Zhang,
Lin He:
An Implementation for Mapping SBML to BioSPI.
FSKD (2) 2005: 1128-1131 |
| 2004 |
|---|
| 2 | | Yuxi Fu,
Xiaoju Dong:
Formalizing the Environment View of Process Equivalence.
CIS 2004: 336-345 |
| 2003 |
|---|
| 1 | | Xiaoju Dong,
Yuxi Fu:
Observing Asymmetry and Mismatch.
APLAS 2003: 2-19 |
Data released under the ODC-BY 1.0 license — See also our legal information page