2 results
Daniele Gorla ; Matthew Hennessy ; Vladimiro Sassone.
We propose a simple global computing framework, whose main concern is code migration. Systems are structured in sites, and each site is divided into two parts: a computing body, and a membrane, which regulates the interactions between the computing body and the external environment. More precisely, […]
Published on December 20, 2005
Yuxin Deng ; Matthew Hennessy ; Rob van Glabbeek ; Carroll Morgan.
In 1992 Wang & Larsen extended the may- and must preorders of De Nicola and Hennessy to processes featuring probabilistic as well as nondeterministic choice. They concluded with two problems that have remained open throughout the years, namely to find complete axiomatisations and alternative […]
Published on October 28, 2008