Gillian Hill

According to our database, Gillian Hill authored at least 8 papers between 1993 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2006

A language for configuring multi-level specifications.

Gillian Hill, Steven Vickers

Theor. Comput. Sci., 2006

2001

A language for configuring systems.

Gillian Ann Hill

PhD thesis, 2001

Presheaves as Configured Specifications.

Steven Vickers, Gillian Hill

Formal Aspects Comput., 2001

1997

An Architecture for Complex Systems.

Gillian Hill

Proceedings of the Computer Aided Systems Theory, 1997

1995

A Logical Approach to System Construction.

Gillian Hill

Proceedings of the Computer Aided Systems Theory, 1995

1994

Constructing Specifications and Modules in a KZ-doctrine.

Gillian Hill

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

The Configuration of Complex Systems.

Gillian Hill

Proceedings of the Computer Aided System Theory, 1994

1993

Category Theory for the Configuration of Complex Systems.

Gillian Hill

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993