Search

Results 1-10 of 30
Publication DateTitleAuthor(s)
1-Nov-1990THE EVOLVING PHILOSOPHERS PROBLEM - DYNAMIC CHANGE MANAGEMENTKRAMER, J; MAGEE, J
31-Dec-1993Pi-calculus semantics for the concurrent configuration language DarwinPaterson, R; Eisenbach, S
1-Dec-1997Towards a Role-based Framework for Distributed Systems ManagementSloman, M; Lupu, E
1-May-1999Labelled Natural Deduction for Substructural LogicsRusso, A; Broda, K; Finger, M
31-Dec-1994Policy Conflict Analysis in Distributed System ManagementMoffett,J.D.; Sloman,M.S.
1-Jan-1998On the consequences of acting in the presence of inconsistencyNuseibeh, B; Russo, A
31-Dec-1995Dynamic File Migration to Support Parallel Database SystemsMcCann, J; Osmon, P; Williams, N
1-Jan-1994Regis-Darwin specified in the p-CalculusEisenbach, S; Kramer, J; Magee, JN
1-Jan-1996Implementing interactive configuration management for distributed systemsFossa, H; Sloman, M
31-Dec-1995System structuring: a convergence of theory and practice?Magee, J; Kramer, J; Eisenbach, S