Hosted articles 2000

Contents: The Journal of the Sylvia Townsend Warner Society 2000 (2000-12-01)
Writers at Work: Sylvia Townsend Warner interviewed by Louise Morgan (2000-12-01)
Editorial (2000-12-01)
The Jungle Blossom (2000-12-01)
Sylvia Townsend Warner as Poet (2000-12-01)
“The True Story of England’s Greatness”: Degeneracy, Primitivism, Eugenics (2000-12-01)
A Fragment (2000-12-01)
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems (2000-07-01)
A Comparison of Three Model Checkers Applied to a Distributed Database Problem (2000-07-01)
Modal Logics for Reasoning about Object-based Component Composition (2000-07-01)
Abstract Clustering for Program Comprehension (2000-07-01)
A Note on the Relationships between Logic Programs and Neural Networks (2000-07-01)
An Iterator Construct for the Refinement Calculus (2000-07-01)
Retrenchment: Extending Refinement for Continuous and Control Systems (2000-07-01)
4th Irish Workshop on Formal Methods - Index (2000-07-01)
Statecharts as Protocols for Objects (2000-01-01)
OO-Motivated Process Algebra: A Calculus for CORBA-like Systems (2000-01-01)
SDL-2000: A Language with a Formal Semantics (2000-01-01)
Rigorous Object-Oriented Methods 2000 - Index (2000-01-01)
Structured Axiomatic Semantics for UML Models (2000-01-01)
Jeremy Bentham: An Iliad of Argument (2000-01-01)
An Overview of The Mensurae Language: Specifying Business Processes (2000-01-01)
Checking the Consistency of UML Class Diagrams Using Larch Prover (2000-01-01)
‘Primeiro e mais antigo Constitucional da Europa’: Bentham’s contact with Portuguese liberals 1820-23 (2000-01-01)
A Reconstruction of Classical Utilitarianism (2000-01-01)
On the Compositional Properties of UML Statechart Diagrams (2000-01-01)
Object-Oriented Refinement and Proof using Behaviour Functions (2000-01-01)
Extending the UML with a Multicast Synchronisation (2000-01-01)