| 1998 |
|---|
| 9 | EE | Allan Cheng,
Mogens Nielsen:
Open Maps, Behavioural Equivalences, and Congruences.
Theor. Comput. Sci. 190(1): 87-112 (1998) |
| 1997 |
|---|
| 8 | EE | Bard Bloom,
Allan Cheng,
Ashvin Dsouza:
Using a Protean Language to Enhance Expressiveness in Specification.
IEEE Trans. Software Eng. 23(4): 224-234 (1997) |
| 7 | EE | Allan Cheng:
Petri Nets, Traces, and Local Model Checking.
Theor. Comput. Sci. 183(2): 229-251 (1997) |
| 1996 |
|---|
| 6 | | Allan Cheng,
Mogens Nielsen:
Open Maps, Behavioural Equivalences, and Congruences.
CAAP 1996: 257-271 |
| 5 | | Allan Cheng,
Dexter Kozen:
A Complete Gentzen-Style Axiomatization for Set Constraints.
ICALP 1996: 134-145 |
| 1995 |
|---|
| 4 | | Allan Cheng:
Petri Nets, Traces, and Local Model Checking.
AMAST 1995: 322-337 |
| 3 | | Mogens Nielsen,
Allan Cheng:
Obseving Behaviour Categorically.
FSTTCS 1995: 263-278 |
| 2 | EE | Allan Cheng,
Javier Esparza,
Jens Palsberg:
Complexity Results for 1-Safe Nets.
Theor. Comput. Sci. 147(1&2): 117-136 (1995) |
| 1993 |
|---|
| 1 | | Allan Cheng,
Javier Esparza,
Jens Palsberg:
Complexity Results for 1-safe Nets.
FSTTCS 1993: 326-337 |
