Allan Cheng

According to our database, Allan Cheng authored at least 6 papers between 1993 and 1997.

Collaborative distances:

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

1997

Using a Protean Language to Enhance Expressiveness in Specification.

Bard Bloom, Allan Cheng, Ashvin Dsouza

IEEE Trans. Software Eng., 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

Open Maps, Behavioural Equivalences, and Congruences.

Allan Cheng, Mogens Nielsen

Proceedings of the Trees in Algebra and Programming, 1996

1995

Obseving Behaviour Categorically.

Mogens Nielsen, Allan Cheng

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

Petri Nets, Traces, and Local Model Checking.

Allan Cheng

Proceedings of the Algebraic Methodology and Software Technology, 1995

1993

Complexity Results for 1-safe Nets.

Allan Cheng, Javier Esparza, Jens Palsberg

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