System development with communicating sequential processes : formalisation and related studies. - Wing Lok Yeung (1991)

Denotational Semantics for JSD. - Wing Lok Yeung (APSEC, 1997)

A framework for effective commercial Web application development. - Ming-te Lu; W. Lok Yeung (Internet Res., 1998)

Automated translation of JSD into CSP - a case study in methods integration. - Wing Lok Yeung (J. Syst. Softw., 2000)

A Synergistic Interweaving of Formal and Informal Methods. - Wing Lok Yeung; Karl R. P. H. Leung (COMPSAC, 2003)

Design and Verification of Distributed Recovery Blocks with CSP. - Wing Lok Yeung; Steve A. Schneider (Formal Methods Syst. Des., 2003)

Embedded Program Testing in Untestable Mobile Environment: Embedded Program Testing in Untestable Mobile Environment. - Karl R. P. H. Leung; Joseph Kee-Yin Ng; Wing Lok Yeung (APSEC, 2004)

Functional characteristics of commercial web sites: a longitudinal study in Hong Kong. - W. Lok Yeung; Ming-te Lu (Inf. Manag., 2004)

Gaining Competitive Advantages through a Functionality Grid for Website Evaluation. - W. Lok Yeung; Ming-te Lu (J. Comput. Inf. Syst., 2004)

Improvements Towards Formalizing UML State Diagrams in CSP. - Wing Lok Yeung; Karl R. P. H. Leung; Ji Wang 001; Wei Dong 006 (APSEC, 2005)

Deriving Test Cases from B Machines Using Class Vectors. - Wing Lok Yeung; Karl R. P. H. Leung (MSVVEIS, 2005)

An Interface Theory Based Approach to Verification of Web Services. - Zhenbang Chen; Ji Wang 001; Wei Dong 006; Zhichang Qi; Wing Lok Yeung (COMPSAC (2), 2006)

Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services. - Wing Lok Yeung (ECOWS, 2006)

Verifying Choreographic Descriptions of Web Services Based on CSP. - Wing Lok Yeung; Ji Wang 001; Wei Dong 006 (SCW, 2006)

Model Checking Suspendible Business Processes via Statechart Diagrams and CSP. - Wing Lok Yeung; Karl R. P. H. Leung; Ji Wang 001; Wei Dong 006 (MSVVEIS, 2006)

Accessing embedded program in untestable mobile environment: Experience of a trustworthiness approach. - Karl R. P. H. Leung; Joseph Kee-Yin Ng; Wing Lok Yeung (J. Syst. Softw., 2006)

Generating User Acceptance Test Plans from Test Cases. - Karl R. P. H. Leung; Wing Lok Yeung (COMPSAC (2), 2007)

Modelling and model checking suspendible business processes via statechart diagrams and CSP. - Wing Lok Yeung; Karl R. P. H. Leung; Ji Wang 001; Wei Dong 006 (Sci. Comput. Program., 2007)

CSP-Based Verification for Web Service Orchestration and Choreography. - W. Lok Yeung (Simul., 2007)

A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration. - Wing Lok Yeung (APSCC, 2008)

Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification. - Wing Lok Yeung (SOCA, 2009)

A formal and visual modeling approach to choreography based web services composition and conformance verification. - W. Lok Yeung (Expert Syst. Appl., 2011)

Behavioral modeling and verification of multi-agent systems for manufacturing control. - W. Lok Yeung (Expert Syst. Appl., 2011)

Short paper adapting the contract net protocol for publish/subscribe messaging. - W. Lok Yeung (HPCS, 2013)

Applications of data mining in online retailing: A case for mining prefix-ordered web site navigation paths. - W. Lok Yeung (ICSAI, 2014)

Prototyping the Machine-Human Dialogues in a Smartphone Voice Call Application With Task Resumption Support. - W. Lok Yeung; Simon Y. W. Li (CHI Extended Abstracts, 2016)

Efficiency of task allocation based on contract net protocol with audience restriction in a manufacturing control application. - Wing Lok Yeung (Int. J. Comput. Integr. Manuf., 2018)

Selecting Empathic Response Headers in Customer Support Conversations with LLM-Based Emotion Recognition. - W. Lok Yeung (CONVERSATIONS, 2024)