Author of the publication

Monitors with Arrays of Condition Variables and Proof Rules Handling Local Quantities.

. BIT, 20 (2): 137-144 (1980)

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

Cooperation for optimal demand response in cognitive radio enabled smart grid., , , , , and . ICC, page 1-6. IEEE, (2016)Discrete event simulation of a large OBS network., and . SMC, page 2512-2517. IEEE, (2005)Delay reduction for real time services in IEEE 802.22 Wireless Regional Area Network., , , and . PIMRC, page 1836-1841. IEEE, (2010)Evaluating Defence Schemes Against Jamming in Vehicle Platoon Networks., , and . ITSC, page 2153-2158. IEEE, (2015)Optimal battery size for a green base station in a smart grid with a renewable energy source., , , and . SmartGridComm, page 115-121. IEEE, (2017)Securing Cognitive Radio Networks against Primary User Emulation Attacks., , , , and . CoRR, (2013)Optimal Incentive Design for Cloud-Enabled Multimedia Crowdsourcing., , and . IEEE Trans. Multim., 18 (12): 2470-2481 (2016)Monitors with Arrays of Condition Variables and Proof Rules Handling Local Quantities.. BIT, 20 (2): 137-144 (1980)Cognitive machine-to-machine communications: visions and potentials for the smart grid., , , , , and . IEEE Netw., 26 (3): 6-13 (2012)Implementation of two Resilience Mechanisms using Multi Topology Routing and Stub Routers.. AICT/ICIW, page 29. IEEE Computer Society, (2006)