Muan Yong Ng

According to our database, Muan Yong Ng authored at least 4 papers between 2002 and 2005.

Collaborative distances:

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

2005

Specifying, refining and verifying reactive system design with UML and CSP.

Muan Yong Ng

PhD thesis, 2005

Precise Modelling of Compensating Business Transactions and its Application to BPEL.

Michael J. Butler, Carla Ferreira, Muan Yong Ng

J. Univers. Comput. Sci., 2005

2003

Towards Formalizing UML State Diagrams in CSP.

Muan Yong Ng, Michael J. Butler

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

2002

Tool Support for Visualizing CSP in UML.

Muan Yong Ng, Michael J. Butler

Proceedings of the Formal Methods and Software Engineering, 2002