Gillian Hill

Publication Activity (10 Years)

Years Active: 1993-2006
Publications (10 Years): 0

Publications

Gillian Hill, Steven Vickers
A language for configuring multi-level specifications. Theor. Comput. Sci. 351 (2) (2006)
Gillian Hill, Steven Vickers
A Language for Configuring Multi-level Specifications. AMAST (2004)
Steven Vickers, Gillian Hill
Presheaves as Configured Specifications. Formal Aspects Comput. 13 (1) (2001)
Gillian Hill
An Architecture for Complex Systems. EUROCAST (1997)
Gillian Hill
A Logical Approach to System Construction. EUROCAST (1995)
Gillian Hill
The Configuration of Complex Systems. CAST (1994)
Gillian Hill
Constructing Specifications and Modules in a KZ-doctrine. Theory and Formal Methods (1994)
Gillian Hill
Category Theory for the Configuration of Complex Systems. AMAST (1993)