Reversibility in the higher-order π-calculus

The notion of reversible computation is attracting increasing interest because of its applications in diverse fields, in particular the study of programming abstractions for reliable systems. In this paper, we continue the study un-dertaken by Danos and Krivine on reversible CCS by defining a reversible higher-order π-calculus, called rhoπ. We prove that reversibility in our cal-culus is causally consistent and that the causal information used to support reversibility in rhoπ is consistent with the one used in the causal semantics of the π-calculus developed by Boreale and Sangiorgi. Finally, we show that one can faithfully encode rhoπ into a variant of higher-order π, substantially improving on the result we obtained in the conference version of this paper

Managing configuration history in domestic networks

Domestic Networks are gaining in complexity, with an increasing number and variety of devices. Increasing complexity results in greater difficulty managing configuration and troubleshooting when problems occur. This thesis presents strategies to assist users in managing the complexity of their networks. The work is split into several parts. First, configuration changes are tracked and users are presented with a timeline of changes to their network. Provision of a selective undo system is the second feature. The undo facility is designed to allow any change to be undone independently of any other. Users are also given the option of reverting to an earlier point, either before a specific change, or to a specific timestamp. The next feature is use of notifications. Any changes that require further actions can be broadcast to users directly. Changing Wi-Fi configuration is one example. The range of devices in use makes changing Wi-Fi configuration (and the subsequent reconfiguration of devices) a challenge, because the devices affected may be part of the infrastructure of a home (lights or thermostat for example). Because these devices have unique methods of network setup, restoring connectivity to every device can be challenging. This thesis also presents a method of changing Wi-Fi configuration which allows users a grace period to reconnect all their devices. Each of these features was assessed by a user study, the results of which are also discussed

Managing configuration history in domestic networks

Domestic Networks are gaining in complexity, with an increasing number and variety of devices. Increasing complexity results in greater difficulty managing configuration and troubleshooting when problems occur. This thesis presents strategies to assist users in managing the complexity of their networks. The work is split into several parts. First, configuration changes are tracked and users are presented with a timeline of changes to their network. Provision of a selective undo system is the second feature. The undo facility is designed to allow any change to be undone independently of any other. Users are also given the option of reverting to an earlier point, either before a specific change, or to a specific timestamp. The next feature is use of notifications. Any changes that require further actions can be broadcast to users directly. Changing Wi-Fi configuration is one example. The range of devices in use makes changing Wi-Fi configuration (and the subsequent reconfiguration of devices) a challenge, because the devices affected may be part of the infrastructure of a home (lights or thermostat for example). Because these devices have unique methods of network setup, restoring connectivity to every device can be challenging. This thesis also presents a method of changing Wi-Fi configuration which allows users a grace period to reconnect all their devices. Each of these features was assessed by a user study, the results of which are also discussed