( en | de | ru )

 

Disambiguation of "Agha, Gul A."

Author of the publication

copydeleteadd this publication to your clipboard
Parameterized, concurrent session types for asynchronous multi-actor interactions.

, , and . Sci. Comput. Program., (2016)

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.

Amir AghaKouchak

Seyed Mohammad Agha Mohammad Abadi

Navid Aghaei Tabriz

Ali Aghajani Bazazi

Alireza Aghaei

 

Other publications of authors with the same name

Computational Complexity of Predicting Some Properties of Large-Scale Agent Ensembles' Dynamical Evolution., and . EUMAS, page 415-426. Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten, (2005)Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks., , and . Concurrent Objects and Beyond, volume 8665 of Lecture Notes in Computer Science, page 276-316. Springer, (2014)A Modular Approach to Programming Distributed Real-Time Systems, , and . Journal of Parallel and Distributed Computing, 36 (1): 4 - 12 (https://doi.org/10.1006/jpdc.1996.0086 1996)Special issue on programming based on actors, agents and decentralized control., , , and . Sci. Comput. Program., (2015)Parameterized, concurrent session types for asynchronous multi-actor interactions., , and . Sci. Comput. Program., (2016)Actor Languages for Specification of Parallel Computations., , and . Specification of Parallel Algorithms, volume 18 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 239-258. DIMACS/AMS, (1994)Efficient compilation of concurrent call/return communication in actor-based programming languages., , and . HiPC, page 62-67. IEEE Computer Society, (1996)CHAMELEON: A Self-Evolving, Fully-Adaptive Resource Arbitrator for Storage Systems., , , , and . USENIX Annual Technical Conference, General Track, page 75-88. USENIX, (2005)iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs., and . QEST, page 245-246. IEEE Computer Society, (2005)Integrating Encrypted Mobile Agents with Smart Homes., , and . NTMS, page 1-5. IEEE, (2009)