Searching for authors named "Xiao Chen" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Deriving Use Cases for Distributed Systems from Knowledge Requirements
- …1. Introduction Deriving Use Cases for Distributed Systems from Knowledge Requirements 1 Xiao Jun…
- Add To MetaCart
-
Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach
- …Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach Chen, Xiao Jun…
- Cited by 19 (4 self) – Add To MetaCart
-
Overlay Multicasting over Multihomed Proxies
- …Overlay Multicasting over Multihomed Proxies Xiao Chen, Ruijun Yang, Qi Xia, Huagang Shao, Weinong…
- Add To MetaCart
-
Construction of Deadlock-free Designs of Communication Protocols from Observations
- … Protocols from Observations XIAO JUN CHEN 1 AND HASAN URAL 2 1 School of Computer Science, University…
- Add To MetaCart
-
An Action-Based Logic Of Causality, Knowledge, Permission And Obligation
- …'s University, Kingston, Ontario K7L 3N6 Canada Xiao Jun Chen Department of Computer Science, University…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 5.
