Allan Cheng

According to our database, Allan Cheng authored at least 6 papers between 1995 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1998

Open Maps, Behavioural Equivalences, and Congruences.

Allan Cheng, Mogens Nielsen

Theor. Comput. Sci., 1998

1997

Using a Protean Language to Enhance Expressiveness in Specification.

Bard Bloom, Allan Cheng, Ashvin Dsouza

IEEE Trans. Software Eng., 1997

Petri Nets, Traces, and Local Model Checking.

Allan Cheng

Theor. Comput. Sci., 1997

1996

A Complete Gentzen-Style Axiomatization for Set Constraints.

Allan Cheng, Dexter Kozen

Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996

1995

Complexity Results for 1-Safe Nets.

Allan Cheng, Javier Esparza, Jens Palsberg

Theor. Comput. Sci., 1995

Obseving Behaviour Categorically.

Mogens Nielsen, Allan Cheng

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995