( en | de | ru )

 

Disambiguation of "Agha, Gul"

Author of the publication

copydeleteadd this publication to your clipboard
Parameterized Concurrent Multi-Party Session Types

, , and . FOCLASA, volume 91 of EPTCS, page 16-30. (2012)

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.

Ayman Agha

Nadir Gül

Akan Gül

Çetin Gül

Gül Seyhan

 

Other publications of authors with the same name

The time-keeping anomaly of energy-saving sensors: Manifestation, solution, and a structural monitoring case study., , , , , and . SECON, page 380-388. IEEE, (2012)Actor-Oriented Programming for the Internet of Things.. SEKE, page ix. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2017)Automated inference of atomic sets for safe concurrent execution., , and . PASTE, page 1-8. ACM, (2013)A compositional approach for modeling and timing analysis of wireless sensor and actuator networks., , , and . SIGBED Review, 14 (3): 49-56 (2017)A modular approach to real-time synchronization., and . OOPS Messenger, 7 (1): 13-20 (1996)The Structure and Semantics of Actor Languages.. REX Workshop, volume 489 of Lecture Notes in Computer Science, page 1-59. Springer, (1990)An Architecture for Dynamic Service-Oriented Computing in Networked Embedded Systems., and . Software Service and Application Engineering, volume 7365 of Lecture Notes in Computer Science, page 147-164. Springer, (2012)A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching., , and . AMAST, volume 2422 of Lecture Notes in Computer Science, page 223-238. Springer, (2002)Characterizing Configuration Spaces of Simple Threshold Cellular Automata., and . ACRI, volume 3305 of Lecture Notes in Computer Science, page 861-870. Springer, (2004)Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions., , and . FMOODS, volume 3535 of Lecture Notes in Computer Science, page 211-226. Springer, (2005)