In this thesis a framework for the design of communication protocols is presented. It provides a theoretical foundation for an existing design method used in industry. The framework supports the specification of protocols as well as the generation of protocol interfaces. For the specification an appropriate formal design language is defined based on dataflow algebras. The language contains oper...

Quantum information theory and quantum computation study the use of quantum physics in information processing and computation[1]. Many important results such as quantum teleportation, superdense coding, factoring and search algorithms make use of quantum entanglements as fundamental resources [2, 3, 4, 5]. Therefore, entanglement purification protocols, the procedures by which we extract pure-s...

N etwork congestion is a fundamental problem facing Internet users today. Many common complaints — “Why is this streaming video clip so jerky?” “Why are these Web pages taking so long to download compared to yesterday?” and “Why are my pings so high in Quake?” — usually reflect congestion somewhere in the network. Traditional approaches to congestion control have viewed the Internet as a cooper...

In her final blog, Clare Price-Dowd, Senior Programme Lead, NHS Leadership Academy, discusses what good communication means and the difference this can make to patients.

The relationship between science and society has always been determined by the nature of scientific research, in particular its position on a gradient from basic to applied science. This has become even more prevalent in recent years, to the extent that the regard for and appreciation of scientific achievements places unprecedented emphasis on the tangible value of science to society—that is, t...

In this paper, we first consider single server retrial queues with two way communication. Ingoing calls arrive at the server according to a Poisson process. Service times of these calls follow an exponential distribution. If the server is idle, it starts making an outgoing call in an exponentially distributed time. The duration of outgoing calls follows another exponential distribution. An ingo...