( en | de | ru )

 

Disambiguation of "Yeung, Wing Lok"

Author of the publication

copydeleteadd this publication to your clipboard
Improvements Towards Formalizing UML State Diagrams in CSP.

, , , and . APSEC, page 176-184. IEEE Computer Society, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Celia Yeung

Danny Yeung

Thomas Yeung

Kam Yeung

Donald Yeung

 

Other publications of authors with the same name

Deriving Test Cases from B Machines Using Class Vectors., and . MSVVEIS, page 71-76. INSTICC Press, (2005)A Synergistic Interweaving of Formal and Informal Methods., and . COMPSAC, page 257-262. IEEE Computer Society, (2003)Efficiency of task allocation based on contract net protocol with audience restriction in a manufacturing control application.. Int. J. Computer Integrated Manufacturing, 31 (10): 1005-1017 (2018)An Interface Theory Based Approach to Verification of Web Services., , , , and . COMPSAC (2), page 139-144. IEEE Computer Society, (2006)0-7695-2655-1.System development with communicating sequential processes : formalisation and related studies.. Staffordshire University, UK, (1991)British Library, EThOS.Denotational Semantics for JSD.. APSEC, page 72-. IEEE Computer Society, (1997)Verifying Choreographic Descriptions of Web Services Based on CSP., , and . SCW, page 97-104. IEEE Computer Society, (2006)Modelling and model checking suspendible business processes via statechart diagrams and CSP., , , and . Sci. Comput. Program., 65 (1): 14-29 (2007)Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification.. SOCA, page 1-8. IEEE Computer Society, (2009)Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services.. ECOWS, page 297-305. IEEE Computer Society, (2006)