Allan Cheng

Publication Activity (10 Years)

Years Active: 1993-1998
Publications (10 Years): 0

Publications

Allan Cheng, Mogens Nielsen
Open Maps, Behavioural Equivalences, and Congruences. Theor. Comput. Sci. 190 (1) (1998)
Allan Cheng
Petri Nets, Traces, and Local Model Checking. Theor. Comput. Sci. 183 (2) (1997)
Bard Bloom, Allan Cheng, Ashvin Dsouza
Using a Protean Language to Enhance Expressiveness in Specification. IEEE Trans. Software Eng. 23 (4) (1997)
Allan Cheng, Mogens Nielsen
Open Maps, Behavioural Equivalences, and Congruences. CAAP (1996)
Allan Cheng, Dexter Kozen
A Complete Gentzen-Style Axiomatization for Set Constraints. ICALP (1996)
Mogens Nielsen, Allan Cheng
Obseving Behaviour Categorically. FSTTCS (1995)
Allan Cheng
Petri Nets, Traces, and Local Model Checking. AMAST (1995)
Allan Cheng, Javier Esparza, Jens Palsberg
Complexity Results for 1-Safe Nets. Theor. Comput. Sci. 147 (1&2) (1995)
Allan Cheng, Javier Esparza, Jens Palsberg
Complexity Results for 1-safe Nets. FSTTCS (1993)