Search

Your search keyword '"Zhu, Huibiao"' showing total 662 results

Search Constraints

Start Over You searched for: Author "Zhu, Huibiao" Remove constraint Author: "Zhu, Huibiao"
662 results on '"Zhu, Huibiao"'

Search Results

101. Specifying and Verifying Web Transactions

102. An Observational Model for Transactional Calculus of Services Orchestration

103. Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers

104. A Denotational Approach to Scope-Based Compensable Flow Language for Web Service

105. Unifying Denotational Semantics with Operational Semantics for Web Services

106. Algebraic Semantics for Compensable Transactions

107. Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL.

108. Towards the Semantics for Web Service Choreography Description Language

109. Theoretical Foundations of Scope-Based Compensable Flow Language for Web Service

132. Modeling and verifying NDN‐based IoV using CSP.

134. Developments in Concurrent Kleene Algebra

Catalog

Books, media, physical & digital resources