Author of the publication

Deadlock Analysis of Concurrent Objects: Theory and Practice.

, , , , and . IFM, volume 7940 of Lecture Notes in Computer Science, page 394-411. Springer, (2013)

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

An SDN and CPS Based Opportunistic Upload Splitting for Mobile Users., , and . IoT 360 (1), volume 169 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 67-76. (2015)Enabling resource pooling in wireless networks through software-defined orchestration., , and . ICC Workshops, page 730-735. IEEE, (2016)IEEE 802.11p field trials on interference minimization for safety-related V2X applications., , and . WiMob, page 235-240. IEEE, (2019)Which AQM fits IoT better?, , , and . RTSI, page 1-6. IEEE, (2017)The Bufferboost Effect: when Drops and Redundancy boost the Throughput., , and . ISNCC, page 1-6. IEEE, (2018)On the performance of Linux Container with Netmap/VALE for networks virtualization., , and . ICON, page 1-6. IEEE, (2013)DyBRA: A Dynamic Bandwidth Reservation Algorithm to Enhance Satellite Communications., , , and . GLOBECOM, page 1-6. IEEE, (2015)Technology independent scheduling architecture for V2X communications: A flexible approach., and . WiMob, page 235-240. IEEE Computer Society, (2017)Enabling smart environments by avoiding TCP congestion through PINK: A no-drop AQM., , , and . WiMob, page 1-7. IEEE Computer Society, (2016)A Lower Bound on Latency Spikes for Capacity-Seeking Network Traffic., , , , , and . ICC Workshops, page 1124-1129. IEEE, (2023)