Author of the publication

On action permutation and progress for a type system with partially commutative asynchronous binary sessions.

, , , and . IJCSE, 10 (3): 253-262 (2015)

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

Cross-layer rate adaptation for video communications over LTE networks., , , , and . GLOBECOM, page 4834-4839. IEEE, (2012)A novel resource reservation scheme for handoff in CDMA wireless cellular networks., , and . WCNC, page 2069-2074. IEEE, (2003)A Polymorphic Type System with Progress for Binary Sessions., , and . WISM, volume 7529 of Lecture Notes in Computer Science, page 451-461. Springer, (2012)Cloud Theory Based Simulated Annealing Algorithm for Multiple Observers Sitting on Terrain Problem., , and . ICIC (2), volume 5227 of Lecture Notes in Computer Science, page 750-757. Springer, (2008)Minimum entropy incremental control for nonlinear stochastic systems with non-Gaussian disturbances and uncertain parameters., , , and . ACC, page 197-201. IEEE, (2012)Performance Evaluation of A Multiuser Detection Based MAC Design for Ad Hoc Networks., , , and . VTC Fall, page 294-298. IEEE, (2007)Fault Diagnosis Based on Graph Theory and Linear Discriminant Principle in Electric Power Network., , , , and . Wireless Sensor Network, 2 (1): 62-69 (2010)Least visible path analysis in raster terrain., , , and . International Journal of Geographical Information Science, 22 (6): 645-656 (2008)An adaptive handoff priority scheme for wireless MC-CDMA cellular networks supporting realtime multimedia applications., , and . Computer Communications, 28 (10): 1240-1250 (2005)Performance Assessment of Non-Gaussian Control Systems Based on Mixture Correntropy., and . Entropy, 21 (11): 1069 (2019)