Author of the publication

An Asynchronous Communication Model for Distributed Concurrent Objects.

, and . Softw. Syst. Model., 6 (1): 39-58 (2007)

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

Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks., , , and . IRI (best papers), volume 263 of Advances in Intelligent Systems and Computing, page 127-150. Springer, (2013)Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory., , , and . FMOODS/FORTE, volume 6117 of Lecture Notes in Computer Science, page 95-109. Springer, (2010)ANNA - A Language for Annotating Ada Programs, Reference Manual, , , and . Lecture Notes in Computer Science Springer, (1987)On detecting over-eager concurrency in asynchronously communicating concurrent object systems., and . J. Log. Algebraic Methods Program., (2017)Dynamic Structural Operational Semantics., and . CoRR, (2016)An Asynchronous Communication Model for Distributed Concurrent Objects., and . Softw. Syst. Model., 6 (1): 39-58 (2007)Verifiable Programming of Object-Oriented and Distributed Systems.. From Action Systems to Distributed Systems, Chapman and Hall/CRC, (2016)Guest Editors' Foreword., and . Nord. J. Comput., 8 (3): 277-278 (2001)Lazy behavioral subtyping., , , and . J. Log. Algebraic Methods Program., 79 (7): 578-607 (2010)Semantic Attribute-Based Encryption: A framework for combining ABE schemes with semantic technologies., , , , and . Inf. Sci., (2022)