( en | de | ru )

 

Disambiguation of "Yeung, Wing Lok"

Author of the publication

copydeleteadd this publication to your clipboard
Denotational Semantics for JSD.

. APSEC, page 72-. IEEE Computer Society, (1997)

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

Thomas Yeung

Danny 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)Accessing embedded program in untestable mobile environment: Experience of a trustworthiness approach., , and . J. Syst. Softw., 79 (7): 962-968 (2006)Design and Verification of Distributed Recovery Blocks with CSP., and . Formal Methods Syst. Des., 22 (3): 225-248 (2003)A Synergistic Interweaving of Formal and Informal Methods., and . COMPSAC, page 257-262. IEEE Computer Society, (2003)Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification.. SOCA, page 1-8. IEEE Computer Society, (2009)Improvements Towards Formalizing UML State Diagrams in CSP., , , and . APSEC, page 176-184. IEEE Computer Society, (2005)Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services.. ECOWS, page 297-305. 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)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)System development with communicating sequential processes : formalisation and related studies.. Staffordshire University, UK, (1991)British Library, EThOS.