Malcolm, Grant - Department of Computer Science, University of Liverpool

Advanced Search

Malcolm, Grant - Department of Computer Science, University of Liverpool

Proof of Correctness of Object Representations
INTRODUCTION Joseph Goguen and Grant Malcolm
Component-Based Speci cation of Distributed Grant Malcolm 1
Reproducer Classification Using the Theory of Affordances
An Executable Course in the Algebraic Semantics of Imperative Programs
A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms
Detection of Metamorphic Computer Viruses Using Algebraic Specification
Towards a Functional Approach to Modular Ontologies using Institutions
Spatiological processes in intracellular signalling Michael Fisher
A Hidden Herbrand Theorem ? Joseph Goguen 1 , Grant Malcolm 2 , and Tom Kemp 3
MOREHIGHERORDERPROGRAMMINGINOBJ Joseph A. Goguen
Hidden Algebra and Systems of Abstract Machines
Extended Abstract of a Hidden Agenda \Lambda Joseph Goguen y and Grant Malcolm z
Sheaves, Objects and Distributed Systems Grant Malcolm
Observational Truth as a Categorical Grant Malcolm
PROVING CORRECTNESS OF REFINEMENT AND IMPLEMENTATION
Observational Truth as a Categorical Modality Grant Malcolm
Programming Research Group AN ALGEBRAIC SEMANTICS FOR
REPRODUCER CLASSIFICATION USING THE THEORY OF AFFORDANCES
Situated Adaptive Software: Beyond the Object Paradigm \Lambda
Rewriting Systems and the Modelling of Biological Systems
Classifying and Relating Affordance-based Models of Reproduction
Hierarchical Components and Entity-based Modelling in Artificial Life Matt Webster1
Grant Malcolm. Signs, Things, and Stuff Inbetween Whitehead Seminars on
Semantics for Interoperability relating ontologies and schemata
Math. Struct. in Comp. Science (1995), vol. 11, pp. 1--000. Printed in the United Kingdom fl 1995 Cambridge University Press
Signs and Representations: Semiotics for User Interface Design
Detection of Metamorphic and Virtualization-based Malware using Algebraic Specification
Formalising Ontologies and Their Relations Trevor BenchCapon and Grant Malcolm
Interconnection of Object Specifications
A Hidden Agenda Joseph Goguen
Sheaves and Structures of Transition Systems Grant Malcolm
A Hidden Manifesto Grant Malcolm
Behavioural Equivalence, Bisimulation, and Minimal Realisation
Distributed Operational Semantics for the Object Paradigm Grant Malcolm and Corina Cirstea
KijksuniveTsiteit Groningen Algebraic Data Types and Program Transformation