Sea Ling

发表

Mobile Agent Itineraries and Workflow Nets for Analysis and Enactment of Distributed Business Processes

Seng Wai Loke, Sea Ling, 2000 .

Towards a Service-Oriented Approach for Managing Context in Mobile Environment

Waskitho Wibisono, Arkady Zaslavsky, Sea Ling, 2008, ICSOC.

Using a safety notion in petri nets to analyse real-time systems

Heinz Schmidt, Sea Ling, 1997, ICSE 1997.

Research challenges in mobile web services

Shonali Krishnaswamy, Sea Ling, Chii Chang, 2010 .

Itinerary-Centred Programming of Mobile Agent Applications

Seng Wai Loke, Sea Ling, 2001 .

A survey on the use of access permission-based specifications for program verification

Sea Ling, Ayesha Sadiq, Yuan-Fang Li, 2020, J. Syst. Softw..

SPiCa: a social private cloud computing application framework

Satish Narayana Srirama, Sea Ling, Chii Chang, 2014, MUM.

A component-based approach to modelling interaction protocols for multiagent systems

Seng Wai Loke, Sea Ling, 2003 .