Author of the publication

Reliable message delivery for mobile agents: push or pull?

, , , , and . IEEE Trans. Syst. Man Cybern. Part A, 34 (5): 577-587 (2004)

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.

 

Other publications of authors with the same name

Path Pruning in Mailbox-based Mobile Agent Communications., , , and . J. Inf. Sci. Eng., 20 (3): 405-424 (2004)EFMVFL: An Efficient and Flexible Multi-party Vertical Federated Learning without a Third Party., , , , , , and . ACM Trans. Knowl. Discov. Data, 18 (3): 51:1-51:20 (April 2024)A program logic for concurrent objects under fair scheduling., and . POPL, page 385-399. ACM, (2016)Color and Morphology Camouflaging using Biomimetic Scales., , , , and . Adv. Intell. Syst., 1 (3): 1900021 (2019)Reliable message delivery for mobile agents: push or pull?, , , , and . IEEE Trans. Syst. Man Cybern. Part A, 34 (5): 577-587 (2004)Mobile Agent Communications., and . Mobile Agents in Networking and Distributed Computing, Wiley, (2012)Abstraction for conflict-free replicated data types., and . PLDI, page 636-650. ACM, (2021)Verifying optimizations of concurrent programs in the promising semantics., , and . PLDI, page 903-917. ACM, (2022)Formalizing SPARCv8 Instruction Set Architecture in Coq., , , and . SETTA, volume 10606 of Lecture Notes in Computer Science, page 300-316. Springer, (2017)A Practical Verification Framework for Preemptive OS Kernels., , , , , and . CAV (2), volume 9780 of Lecture Notes in Computer Science, page 59-79. Springer, (2016)